@book{27433,
	author = {Rautenberg Wolfgang},
	title = {Concise introduction to mathematical logic},
	publisher = {Springer Science+Business Media Inc,},
	year = {2006},
	series = {Universitext},
	address = {New York },
	edition = {2},
	note = {Index 247-256p.}
}