Leon Albert Henkin


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

Advisor: Alonzo Church

Click here to see the students listed in chronological order.

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

According to our current on-line database, Leon Henkin has 14 students and 93 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.