@book{10614,
	author = {马振华编著},
	title = {数学逻辑引论},
	publisher = {清华大学出版社},
	year = {1993},
	edition = {一版一刷}
}