@book{2575,
	author = {Mendelson, Elliott},
	title = {Introduction to mathematical logic / elliott Mendelson. - 3rd ed.},
	address = {Chapman & Hall},
	edition = {3rd ed.}
}