Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Goeran Sundholm

Original record
Institution
Not recorded
Year
Not recorded
Country
United Kingdom
MGP identifier
59327

Dissertation: Proof Theory: A Survey of the Omega Rule

Advisor 1

Students 6

NameInstitutionYearStudents
Nicolas ClerboutUniversiteit Leiden20130
Catarina Dutilh NovaesUniversiteit Leiden20061
Frans HovensUniversiteit Leiden20030
Ansten KlevUniversiteit Leiden20140
Gert-Jan LokhorstErasmus Universiteit Rotterdam19920
Giuseppe PrimieroUniversità di Palermo20060
Genealogy