Jesse Alama

MathSciNet


Ph.D. Stanford University 2009 UnitedStates
Dissertation: Formal Proofs and Refutations
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Grigori Efroimovich Mints

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.