@book{16881,
	author = {Ebbinghaus, H.D. and Flum, J.},
	title = {Mathematical logic},
	publisher = {Springer},
	year = {1994},
	address = {New York},
	edition = {2nd ed.}
}