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 listed in chronological order.

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

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.