@book{130790,
	author = {Machover, Moshé.},
	title = {Set theory, logic, and their limitations /},
	publisher = {Cambridge University Press,},
	year = {1996.},
	address = {Cambridge ;},
	url = {http://www.loc.gov/catdir/description/cam027/95049048.html}
}