@book{2490,
	author = {Suppes, Patrick},
	title = {First course in mathematical logic},
	publisher = {Blaisdell Publishing},
	year = {1964.},
	address = {New York}
}