@book{8825,
	author = {Smullyan, Raymond M.},
	title = {First order logic},
	publisher = {Springer-Verlag},
	year = {1968},
	series = {Ergebnisse der Mathematik und ihrer Grenzgebiete},
	address = {Berlin}
}