Abstract is missing.
- PrefaceDov M. Gabbay, John Woods. [doi]
- Bertrand Russell's LogicAndrew David Irvine. 1-28 [doi]
- Logic for Meinongian Object Theory SemanticsDale Jacquette. 29-76 [doi]
- The Logic of Brouwer and HeytingJoan Rand Moschovakis. 77-125 [doi]
- Thoralf Albert SkolemJens Erik Fenstad, Hao Wang. 127-194 [doi]
- Jacques Herbrand: Life, Logic, and Automated DeductionClaus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier. 195-254 [doi]
- The Logic of The TractatusMichael Potter. 255-304 [doi]
- Leśniewski's LogicPeter M. Simons. 305-320 [doi]
- Hilbert's Proof TheoryWilfried Sieg. 321-384 [doi]
- Hilbert's Epsilon Calculus and its SuccessorsBarry Hartley Slater. 385-448 [doi]
- Gödel's LogicMark van Atten, Juliette Kennedy. 449-509 [doi]
- Tarski's LogicKeith Simmons. 511-616 [doi]
- Emil PostAlasdair Urquhart. 617-666 [doi]
- Gentzen's LogicJan von Plato. 667-721 [doi]
- Lambda-Calculus and Combinators in the 20th CenturyFelice Cardone, J. Roger Hindley. 723-817 [doi]
- The Logic of Church and CurryJonathan P. Seldin. 819-873 [doi]
- Paradoxes, Self-Reference and Truth in the 20th CenturyAndrea Cantini. 875-1013 [doi]