@book{8777,
	author = {Manin, Yu I. and Koblitz, Neal},
	title = {A course in mathematical logic},
	publisher = {Springer-Verlag,},
	year = {1977},
	address = {New York:},
	note = {"Translated from the Russian by Neal Koblitz"}
}