@book{37715,
	author = {Ebbinghaus, Heinz-Dieter and  Flum, Jorg},
	title = {Mathematical logic / },
	publisher = {Springer,},
	year = {c2021.},
	series = {Graduate text in mathematics;},
	address = {Switzerland: },
	edition = {3rd ed.}
}