Kurt Gödel and the foundations of mathematics : horizons of truth /

"This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom...

Full description

Bibliographic Details
Other Authors:	Baaz, Matthias
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2011 New York : 2011
Subjects:	Gödel, Kurt Gödel, Kurt Gödel's theorem Gödel's theorem Mathematics > Philosophy MATHEMATICS / Logic Mathematics/ Logic

Internet

Stanford University

Holdings details from Stanford University
Call Number:	QA9.65 .K87 2011

Yale University

Holdings details from Yale University
Call Number:	QA9.65 .K87 2011 (LC)

University of Chicago

Holdings details from University of Chicago
Call Number:	QA9.65 .K87 2011

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA9.65.K87 2011

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA9.65 .K87 2011

Harvard University

Holdings details from Harvard University
Call Number:	QA9.65 .K87 2011

Duke University

Holdings details from Duke University
Call Number:	QA9.65 .K87 2011

Dartmouth College

Holdings details from Dartmouth College
Call Number:	QA9.65 .K87 2011

Cornell University

Holdings details from Cornell University
Call Number:	Oversize QA9.65 .K87 2011 +

Princeton University

Holdings details from Princeton University
Call Number:	QA9.65 .K87 2011

Columbia University

Holdings details from Columbia University
Call Number:	QA9.65 .K87 2011

Brown University

Holdings details from Brown University
Call Number:	QA9.65 .K87 2011