Bernays, Paul, The Bernays Project

George Boole, George Boole (1815 - 1864), George Boole - the Lincoln Genius, Papers of George Boole, The Calculus of Logic

Cantor Set and Function, Georg Cantor, Georg Cantor, Georg Cantor, The Late 19th Century Origins of Set Theory

Alonzo Church, Church-Turing Thesis, The Bulletin of Symbolic Logic, December 1995, The Need for Abstract Entities

A Slice of Philosophy: Gottlob Frege (1848-1925), Frege, Frege, Frege's Logic, Theorem, and Foundations for A, Frege: Two Theses, Two Senses, Gottlob Frege, Gottlob Frege, Gottlob Frege, Gottlob Frege, Gottlob Frege

Collected Works I, Collected Works II, Collected Works III, Gödel, Gödel's Ontological Argument, Godel's Theorems, Gödel: A Life of Logic, Kenny's Overview of Hofstadter's Explana, Kurt Gödel, Kurt Gödel

David Hilbert, David Hilbert, Hilbert Edition, Hilbert's Problems, Hilbert's Program, Mathematical Problems of David Hilbert

A note on Lukasiewicz's three-valued logic., Jan Lukasiewicz, Jan Lukasiewicz, Jan Lukasiewicz, Logic and determinism in Jan Lukasiewicz's ph, Lukasiewicz and Lesniewski on Contradiction., Lukasiewicz in Dublin

Arisbe, Charles S. Peirce, Charles S. Peirce Studies, Charles Sanders Peirce, Charles Sanders Peirce, Charles Sanders Peirce by PhilosophyProfessor, Institute for Studies in Pragmaticism, Is Peirce a Phenomenologist?, Peirce Edition Project (IUPUI), Peirce's Logic

E.L. Post Manuscript Guide, Emil Post, PCP@HOME Contest, Post's Correspondence Problem, Post's Problem of Creativity

Skolem Issue of the Nordic Journal of Philosophica, Thoralf Skolem (1887-1963)

Alfred Tarski, Introduction to Logic, The Bulletin of Symbolic Logic, June 1999, The Semantic Conception of Truth

Alan M. Turing, Alan Mathison Turing, Alan Mathison Turing (1912-1954), Alan Turing, Alan Turing, Alan Turing, Alan Turing Archive, Alan Turing Papers, Alan Turing: The Biography Project, Alan Turing: Thinking Up Computers

Ernst Zermelo, Zermelo Project