Matches in Library of Congress for { <http://lccn.loc.gov/2010007117> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2010007117 contributor B11745087.
- 2010007117 created "2010.".
- 2010007117 date "2010".
- 2010007117 date "2010.".
- 2010007117 dateCopyrighted "2010.".
- 2010007117 description "GENERAL. The Gödel editorial project : a synopsis / Solomon Feferman -- Future tasks for Gödel scholars / John W. Dawson, Jr., and Cheryl A. Dawson -- PROOF THEORY. Gödel and the metamathematical tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg -- Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W. W. Tait -- Gödel on intuition and on Hilbert's finitism / W. W. Tait -- The Gödel hierarchy and reverse mathematics / Stephen G. Simpson -- On the outside looking in : a caution about conservativeness / John P. Burgess -- SET THEORY. Gödel and set theory / Akihiro Kanamori -- Generalizations of Gödel's universe of constructible sets / Sy-David Friedman -- On the question of absolute undecidability / Peter Koellner -- PHILOSOPHY OF MATHEMATICS. What did Gödel believe and when did he believe it? / Martin Davis -- On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb -- Gödel and Carnap / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy -- Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons -- Gödel's conceptual realism / Donald A. Martin.".
- 2010007117 description "Includes bibliographical references.".
- 2010007117 extent "x, 373 p. :".
- 2010007117 identifier "0521115140 (hardback)".
- 2010007117 identifier "9780521115148 (hardback)".
- 2010007117 isPartOf "Lecture notes in logic ; 33".
- 2010007117 isPartOf "Lecture notes in logic ; 33.".
- 2010007117 issued "2010".
- 2010007117 issued "2010.".
- 2010007117 language "eng".
- 2010007117 publisher "New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic,".
- 2010007117 subject "510.92 22".
- 2010007117 subject "Logic, Symbolic and mathematical.".
- 2010007117 subject "QA9.2 .K87 2010".
- 2010007117 tableOfContents "GENERAL. The Gödel editorial project : a synopsis / Solomon Feferman -- Future tasks for Gödel scholars / John W. Dawson, Jr., and Cheryl A. Dawson -- PROOF THEORY. Gödel and the metamathematical tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg -- Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W. W. Tait -- Gödel on intuition and on Hilbert's finitism / W. W. Tait -- The Gödel hierarchy and reverse mathematics / Stephen G. Simpson -- On the outside looking in : a caution about conservativeness / John P. Burgess -- SET THEORY. Gödel and set theory / Akihiro Kanamori -- Generalizations of Gödel's universe of constructible sets / Sy-David Friedman -- On the question of absolute undecidability / Peter Koellner -- PHILOSOPHY OF MATHEMATICS. What did Gödel believe and when did he believe it? / Martin Davis -- On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb -- Gödel and Carnap / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy -- Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons -- Gödel's conceptual realism / Donald A. Martin.".
- 2010007117 title "Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson.".
- 2010007117 type "text".