The Bulletin of Symbolic Logic

Volume 11, Issue 02, June 2005

  • Kurt Gödel (1906--1978) page 129.
  • Preface, by Akihiro Kanamori, page 131.
    •

    Articles
  • The Gödel editorial project: A synopsis, by Solomon Feferman, pages 132 -- 149.
  • Future tasks for Gödel scholars, by John W. Dawson, Jr. and Cheryl A. Dawson, pages 150 -- 171.
  • Only two letters: The correspondence between Herbrand and Gödel, by Wilfried Sieg, pages 172 -- 184.
  • On Gödel's way in: the influence of Rudolf Carnap, by Warren Goldfarb, pages 185 -- 193.
  • What did Gödel believe and when did he believe it?, by Martin Davis, pages 194 -- 206.
  • Gödel's conceptual realism, by Donald A. Martin, pages 207 -- 224.
  • Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation, by W. W. Tait, pages 225 -- 238.
    •
  • Reviews, pages 239 -- 248.
    •

    In this issue:

  • W. Sieg, R. Sommer, and C. Talcott, editors, Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, reviewed by David Charles McCarty, page 239.
  • G. Tourlakis, Lectures in Logic and Set Theory, vols. I & II, reviewed by Joel David Hamkins, page 241.
  • T. Jech, Set theory, reviewed by Greg Hjorth, page 243.
  • D. Perrin and J.-E. Pin, Infinite words: automata, semigroups, logic and games, reviewed by Thomas Wilke, page 246.
  • R. Zach, Hilbert's `Verunglückter Beweis', the first epsilon theorem, and consistency proofs, reviewed by Dirk Schlimm, page 247.
    •

    Meetings of the Association
  • 2004 Summer Meeting of the Association for Symbolic Logic, Torino, Italy, July 25--31, 2004, pages 249 -- 312.
    •
  • Notices, pages 313 -- 318.
  • Erratum , page 319.
    •
    The Association for Symbolic Logic holds the Copyright to the articles in the Bulletin of Symbolic Logic, and these articles cannot be reprinted without permission from the Association. They can be downloaded from this site for personal and educational uses only.