@book{237560,
	author = {Mendelson, Elliott},
	title = {Introduction to mathematical logic /},
	publisher = {Nostrand ,},
	year = {1964.},
	address = {New Jersey :},
	note = {Includes index.}
}