Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Rosalie Iemhoff

Original record
Institution
Universiteit van Amsterdam
Year
2001
Country
Netherlands
MGP identifier
53356

Dissertation: Provability Logic and Admissible Rules

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisors 3

Students 3

NameInstitutionYearStudents
Jeroen Paul GoudsmitUniversiteit Utrecht20150
Robert PassmannUniversiteit van Amsterdam20230
Iris van der GiessenUniversiteit Utrecht20220
Genealogy