Corey Edward Mulvihill
Ph.D. University of Waterloo 2015
Dissertation:
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: David DeVidi
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 317552 for the advisor ID.