Krzysztof R. Apt

MathSciNet


Ph.D. Uniwersytet Warszawski 1974 Poland
Dissertation: Niefinitystyczne reguły wnioskowania (Infinitistic rules of proof)
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Andrzej Mostowski

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

NameSchoolYearDescendants
Bougé, LucUniversité Paris Diderot - Paris 719871
Bol, RolandUniversiteit van Amsterdam1991
Etalle, SandroUniversiteit van Amsterdam199524
Kalsbeek, MarianneUniversiteit van Amsterdam1995
Teusink, FrankUniversiteit van Amsterdam1996
Gennari, RosellaUniversiteit van Amsterdam2002
Brand, SebastianUniversiteit van Amsterdam2004
van Hoeve, Willem-JanUniversiteit van Amsterdam200512
Zoeteweij, PeterUniversiteit van Amsterdam2005
Uckelman, JoelUniversiteit van Amsterdam2009
Witzel, SimonUniversiteit van Amsterdam2009
Zvesper, JonathanUniversiteit van Amsterdam2010
Sietsma, FloorUniversiteit van Amsterdam2012

According to our current on-line database, Krzysztof Apt has 13 students and 50 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 22611 for the advisor ID.