1991

Perspectives on the History of Mathematical Logic

Editors:

ISBN: 978-0-8176-4768-1 (Print) 978-0-8176-4769-8 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages i-xxiii

  2. No Access

    Book Chapter

    Pages 1-9

    The Problem of Elimination in the Algebra of Logic

  3. No Access

    Book Chapter

    Pages 10-32

    Peirce and the Law of Distribution

  4. No Access

    Book Chapter

    Pages 33-46

    The First Russell Paradox

  5. No Access

    Book Chapter

    Pages 47-53

    Principia Mathematica and the Development of Automated Theorem Proving

  6. No Access

    Book Chapter

    Pages 54-70

    Oswald Veblen and the Origins of Mathematical Logic at Princeton

  7. No Access

    Book Chapter

    Pages 71-83

    The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory

  8. No Access

    Book Chapter

    Pages 84-100

    The Reception of Gödel’s Incompleteness Theorems

  9. No Access

    Book Chapter

    Pages 101-109

    Gödel’s and Some Other Examples of Problem Transmutation

  10. No Access

    Book Chapter

    Pages 110-133

    The Development of Self-Reference: Löb’s Theorem

  11. No Access

    Book Chapter

    Pages 134-160

    The Unintended Interpretations of Intuitionistic Logic

  12. No Access

    Book Chapter

    Pages 161-168

    The Writing of Introduction to Metamathematics

  13. No Access

    Book Chapter

    Pages 169-175

    In Memoriam: Haskell Brooks Curry

  14. No Access

    Book Chapter

    Pages 176-189

    The Work of J. Richard Büchi

  15. Back Matter

    Pages 191-195