@book{131068,
	author = {Nagel, Ernest, and Newman, James R.},
	title = {Gödel's proof /},
	publisher = {New York University Press,},
	year = {c2001.},
	address = {New York :},
	edition = {Rev. ed.},
	url = {http://www.loc.gov/catdir/toc/fy022/2001044481.html}
}