Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Leon Harkleroad

Original record
Institution
University of Notre Dame
Year
1976
Country
United States
MGP identifier
103876

Dissertation: Recursive Equivalence Types on Recursive Manifolds

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy