Leon Albert Henkin

MathSciNet


Ph.D. Princeton University 1947 UnitedStates
Dissertation: The Completeness of Formal Systems

Advisor: Alonzo Church

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

NameSchoolYearDescendants
Karp, CarolUniversity of Southern California19593
Gupta, HaragauriUniversity of California, Berkeley19651
Howard, CharlesUniversity of California, Berkeley1965
Krauss, PeterUniversity of California, Berkeley19661
Jean, MichelUniversity of California, Berkeley19681
Demaree, DanielUniversity of California, Berkeley1970
Lipner, LeonardUniversity of California, Berkeley1970
Resek, DianeUniversity of California, Berkeley1974
Movshovitz-Hadar, NitsaUniversity of California, Berkeley197515
Ferguson, DavidUniversity of California, Berkeley19801
Ross, PeterUniversity of California, Berkeley1980
Rin, HadasUniversity of California, Berkeley1982
Tourniaire, FrançoiseUniversity of California, Berkeley1984
Treisman, PhilipUniversity of California, Berkeley198559

According to our current on-line database, Leon Henkin has 14 students and 95 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 8016 for the advisor ID.