@book{31898,
	author = {Smullyan, Raymond M.},
	title = {First-order logic /},
	publisher = {Dover Publications, Inc,},
	year = {1995.},
	address = {New York :}
}