Perspectives on the History of Mathematical Logic

Perspectives on the History of Mathematical Logic
Thomas Drucker (ed.)

The Problem of Elimination in the Algebra of Logic - Judy Green
Peirce and the Law of Distribution - Nathan Houser
The First Russell Paradox - Irving H. Anellis
Principia Mathematica and the Development of Automated Theorem Proving - Daniel J. O’Leary
Oswald Veblen and the Origins of Mathematical Logic at Princeton - William Aspray
The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory - Irving H. Anellis
The Reception of Gödel’s Incompleteness Theorems - John W. Dawson Jr.
Gödel’s and Some Other Examples of Problem Transmutation - Hao Wang
The Development of Self-Reference: Löb’s Theorem - C. Smoryński
The Unintended Interpretations of Intuitionistic Logic - Wim Ruitenburg
The Writing of Introduction to Metamathematics - Stephen C. Kleene
In Memoriam: Haskell Brooks Curry - Jonathan P. Seldin
The Work of J. Richard Büchi - Dirk Siefkes