Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Henricus Cornelius Maria de Swart

Original record
Institution
Katholieke Universiteit Nijmegen
Year
1976
Country
Netherlands
MGP identifier
89069

Dissertation: Intuitionistic Logic in Intuitionistic Metamathematics

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 14

NameInstitutionYearStudents
Francien DechesneTilburg University20050
Eric Andreas de KogelTilburg University19950
Michael Gerardus Johannes FranssenTechnische Universiteit Eindhoven20000
Roger Louis Leon HendrickxTilburg University19940
Herman H. JurjusTilburg University19970
Twan Dismas Laurens LaanTechnische Universiteit Eindhoven19970
Willy M. J. OpheldersTilburg University19920
Franciscus Th. A. M. PieperTechnische Universiteit Eindhoven19890
Ronald Robertus SeljéeTilburg University19970
Richard Jozef Christianus Maria StarmansTilburg University19960
A.J.A . (Ton) StorckenTilburg University19894
Adrianus Marinus Arnoldus van DeemenKatholieke Universiteit Nijmegen19910
Toon (Antonius Thomas Johannes Maria) van HaperenKatholieke Universiteit Nijmegen19880
Martin V. B. P. M. van HeesKatholieke Universiteit Nijmegen19941
Genealogy