Daniel Maurice Raphael Leivant
Original record- Institution
- Universiteit van Amsterdam
- Year
- 1975
- Country
- Netherlands
- MGP identifier
- 46911
Dissertation: Absoluteness of Intuitionistic Logic (Published as Mathematical Center Tract 73, Amsterdam, 1979)
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Anne Sjerp TroelstraUniversiteit van Amsterdam · 1966
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Norman Danner | Indiana University | 1999 | 0 |
| Byron L. Long | Indiana University | 2009 | 0 |
| Yevgeniy Makarov | Indiana University | 2006 | 0 |
| Ramyaa Ramyaa | Indiana University | 2012 | 0 |