Perspectives on the History of Mathematical Logic

Chapter 1 The Problem of Elimination in the Algebra of Logic

Chapter 3 The First Russell Paradox

Chapter 4 Principia Mathematica and the Development of Automated Theorem Proving

Chapter 5 Oswald Veblen and the Origins of Mathematical Logic at Princeton

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

Chapter 7 The Reception of Gödel’s Incompleteness Theorems

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

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

Chapter 10 The Unintended Interpretations of Intuitionistic Logic

Chapter 11 The Writing of Introduction to Metamathematics

Chapter 12 In Memoriam: Haskell Brooks Curry

Chapter 13 The Work of J. Richard Büchi