@book{120856,
	author = {Mendelson, Elliott.},
	title = {Introduction to mathematical logic.},
	publisher = {Van Nostrand},
	year = {[1964]},
	series = {The University series in undergraduate mathematics},
	address = {Princeton, N.J.,}
}