@book{80424,
	author = {Machover, Moshâe},
	title = {Set theory, logic and their limitations},
	publisher = {CUP},
	year = {1996},
	address = {Cambridge},
	note = {Includes bibliographical references and index.},
	url = {http://www.loc.gov/catdir/description/cam027/95049048.html}
}