Classical Logic PhDs

Christine Ladd-Franklin, 1882, The Johns Hopkins University

On the Algebra of Logic

PhD advisor: Charles Peirce

Emil Post, 1920, Columbia University, USA

Introduction to a General Theory of Elementary Propositions

PhD Advisor: Cassius Jackson Keyser

Alfred Tarski, 1924, University of Warsaw, Poland

O wyrazie pierwotnym logistyki

PhD advisor: Stanislaw Lesniewski

Alonzo Church, 1927, Princeton University, USA

Alternatives to Zermelo's Assumption

PhD advisor: Oswald Veblen

Kurt Gödel, 1929, Vienna University, Austria

Über die Vollständigkeit des Logikkalküls

PhD advisor: Hans Hahn

Haskell Curry, 1930, University of Göttingen

Grundlagen der kombinatorischen Logik (Foundations of Combinatory logic)

PhD advisor: David Hilbert

Willard Van Orman Quine, 1932, Harvard University, USA

The Logic of Sequences: A Generalization of Principia Mathematica

PhD advisor: Alfred North Whitehead

Gerhard Gentzen, 1933, University of Göttingen

Untersuchungen über das logische Schließen (Investigations into Logical Inference)

PhD advisor: Paul Bernays

Saunders Mac Lane, 1934, University of Göttingen

Abgekürzte Beweise im Logikkalkul (Abbreviated Proofs in the Logical Calculus)

PhD advisors: Hermann Weyl and Paul Bernays

Stephen Kleene, 1934, Princeton University, USA

A Theory of Positive Integers in Formal Logic

PhD advisor: Alonzo Church

Alan Turing, 1938, Princeton University, USA

Systems of Logic Based on Ordinals

PhD advisor: Alonzo Church

Oiva Ketonen, 1944, The University of Helsinki

Untersuchungen zum Prädikatenkalkul (Investigations on the predicate calculus)

PhD Advisors: Eino Kaila, and Gerhard Gentzen

Leon Henkin, 1947, Princeton University, USA

The Completeness of Formal Systems

PhD advisor: Alonzo Church

Newton C.A. da Costa, 1963, Federal University of Paraná

Sistemas Formais Inconsistentes (Inconsistent formal systems)

Habilitation thesis

Jean Porte, 1965, University of Paris

Recherches sur la Théorie Générale des Systèmes Formels et sur les Systèmes Connectifs

(Researches in the General Theory of Formal Systems and in Connectives Systems)

PhD advisor: René de Possel

Dag Prawitz, 1965, Stockholm University, Sweden

Natural Deduction. A Proof-Theoretic Study

PhD advisor: Anders Wedberg

Hans Kamp, 1968, UCLA

Tense Logic and the Theory of Linear Order

PhD advisor: Richard Montague

Krister Segerberg, 1971, Stanford University

An Essay in Classical Modal Logic

PhD advisor: Dana Scott