@book{5269,
	author = {Ebbinghaus, Heinz-Dieter, and Flum, Jörg.},
	title = {Mathematical logic /},
	publisher = {Springer-Verlag,},
	year = {c1994.},
	series = {Undergraduate texts in mathematics},
	address = {New York :},
	edition = {2nd ed.}
}