Acknowledgements.- Contributors.- Jean van Heijenoort(1912-1986).- Introduction.- The Problem of Elimination in the Algebra of Logic.- Peirce and the Law of Distribution.- The First Russell Paradox.- Principia Mathematica and the Development of Automated Theorem Proving.- Oswald Veblen and the origins of Mathematical Logic at Princeton.- The Löwenheim-Skolem Theorem, Theories of Quantifications, and Proof Theory.- The Reception of Gödel's Incompleteness Theorems.- Gödel's and Some Other Examples of problem Transmutation.- The Development of Self-Reference: Löb's Theorem.- The Unintended Interpretation of Intuitionistic Logic.- The Writing of Introduction to Metamathematics.- In Memoriam: Haskell Brooks Curry.- The Work of J. Richard Büchi.- Index Nominum
