@book{5404,
	author = {Wang, Hao.},
	title = {A survey of mathematical logic /},
	publisher = {Science Press,},
	year = {1964.},
	address = {Peking :}
}