Past PhDs

Intensional and Higher- Order Modal Logic

Daniel Gallin
Leon Albert Henkin
Dana Scott
1972

Decision Problems for Equational Theories of Semigroups and General Algebras

Peter Graham Perkins
Dana Scott
1966

Studies in algebraic Logic

Daniel B. Demaree
Leon Albert Henkin
Dana Scott
1970

Probability Logic

Peter Holger Krauss
Leon Albert Henkin
Dana Scott
1966

Infinitely Long Formulas with Countable Quantifier Degrees

Edgar George Kenneth Lopez-Escobar
Dana Scott
1965

Topology of Quaternionic Manifolds

Vivian Yoh Kraines
Shoshichi Kobayashi
1965

Higher Order Cohomology Operations

David Paul Kraines
Edwin Spanier
1965

Functionally Complete Algebras

Robert Arthur Knoebel
Alfred Foster
1965

An Approach to Algebraic Logic

Charles Malone Howard
Leon Albert Henkin
William Reyes Craig
J. Donald Monk
1965

The Methodology of the Testing of Learning Models

Joseph Ford Hanna
Ernst W. Adams
1965