Encyclopedias, Almanacs, Transcripts, and Maps
- Modern Logic: From Frege to Gödel: Gödel
- Modern Logic: From Frege to Gödel: Herbrand
- Modern Logic: From Frege to Gödel: Hilbert and Formalism
- Modern Logic: From Frege to Gödel: Löwenheim
- Modern Logic: From Frege to Gödel: Nineteenth-Century Mathematics
- Modern Logic: From Frege to Gödel: Peano
- Modern Logic: From Frege to Gödel: Post
- Modern Logic: From Frege to Gödel: Ramsey
- Modern Logic: From Frege to Gödel: Skolem
- Modern Logic: From Frege to Gödel: Whitehead and Russell
- Modern Logic: Since Gödel
- Modern Logic: Since Gödel: Church
- Modern Logic: Since Gödel: Decidable and Undecidable Theories
- Modern Logic: Since Gödel: Friedman and Reverse Mathematics
- Modern Logic: Since Gödel: Gentzen
- Modern Logic: Since Gödel: Model Theory
- Modern Logic: Since Gödel: The Proliferation of Nonclassical Logics
- Modern Logic: Since Gödel: Turing and Computability Theory
- Modern Logic: The Boolean Period
- Modern Logic: The Boolean Period: Boole