@book{28794,
	author = {Mendelson E.},
	title = {Introduction to mathematical logic},
	publisher = {Wadsworth & brooks/cole advanced books & software},
	year = {1987},
	address = {California },
	edition = {3rd}
}