@book{33494,
	author = {Rautenberg, Wolfgang},
	title = {A concise introduction to mathematical logic /},
	address = {New York, NY : Springer, 2006},
	edition = {2nd ed.}
}