Daniel Maurice Raphael Leivant

MathSciNet


Ph.D. Universiteit van Amsterdam 1975 Netherlands
Dissertation: Absoluteness of Intuitionistic Logic (Published as Mathematical Center Tract 73, Amsterdam, 1979)
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Anne Sjerp Troelstra

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Danner, NormanIndiana University1999
Makarov, YevgeniyIndiana University2006
Long, ByronIndiana University2009
Ramyaa, RamyaaIndiana University2012

According to our current on-line database, Daniel Leivant has 4 students and 4 descendants.
We welcome any additional information.

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 46911 for the advisor ID.