@book{120879,
	author = {Smullyan, Raymond M.},
	title = {First-order logic /},
	publisher = {Dover,},
	year = {c1995.},
	address = {New York :},
	note = {"An unabridged, corrected republication of the work first published by Springer-Verlag, New York, 1968 ('Band 43' of the series 'Ergebnisse der Mathematik und ihrer Grenzgebiete')"--T.p. verso.},
	url = {http://www.loc.gov/catdir/toc/dover031/94039736.html}
}