@book{4698,
	author = {Kreisel, Georg. and Krivine, J. L.},
	title = {Elements of mathematical logic.},
	publisher = {North Holland Pub. Co.,},
	year = {1967.},
	address = {Amsterdam,},
	note = {Translation of Eléments de logique mathématique, theorie des modéles.}
}