@book{29908,
	author = {Smullyan, Raymond M.},
	title = {First-order logic /},
	publisher = {Springer-Verlag,},
	year = {1968.},
	address = {Berlin :}
}