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.

Corey Edward Mulvihill

Original record
Institution
University of Waterloo
Year
2015
Country
Canada
MGP identifier
317552

Dissertation: Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy