@book{882478,
	author = {Elliott Mendelson},
	title = {Introduction to mathematical logic},
	publisher = {Wadsworth Inc. Belmont},
	year = {1998},
	address = {California},
	edition = {3 rd Ed}
}