@book{95954,
	author = {Nagel, Ernest and Newman, James Roy},
	title = {Gödel's proof},
	publisher = {New York University Press},
	year = {1958.},
	address = {New York}
}