Krzysztof R. Apt


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

Click here to see the students listed in chronological order.

Bol, RolandUniversiteit van Amsterdam1991
Bougé, Luc19871
Brand, SebastianUniversiteit van Amsterdam2004
Etalle, Sandro19954
Gennari, RosellaUniversiteit van Amsterdam2002
Kalsbeek, MarianneUniversiteit van Amsterdam1995
Sietsma, FloorUniversiteit van Amsterdam2012
Teusink, Frank1996
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 12 students and 29 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.