Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Kees (Hans Cornelis) Doets

Original record
Institution
Universiteit van Amsterdam
Year
1987
Country
Netherlands
MGP identifier
121123

Dissertation: Completeness and Definability : Applications of the Ehrenfeucht Game in Second-Order and Intensional Logic

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisors 2

Students 1

NameInstitutionYearStudents
Dennis DuchhartUniversiteit van Amsterdam19820
Genealogy