@book{266777,
	author = {Ebbinghaus, H. D. and Flum, J.},
	title = {Mathematical logic},
	publisher = {Springer-Verlag},
	year = {1989},
	address = {New York}
}