@book{5132,
	author = {Manin, I︠U︡. I.},
	title = {A course in mathematical logic /},
	publisher = {Springer Verlag,},
	year = {c1977.},
	series = {Graduate texts in mathematics ;},
	address = {New York :},
	note = {Includes index.},
	url = {http://www.loc.gov/catdir/enhancements/fy0814/77001838-t.html}
}