Krzysztof R. Apt
Ph.D. Uniwersytet Warszawski 1974
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Bougé, Luc | Université Paris Diderot - Paris 7 | 1987 | 1 |
| Bol, Roland | Universiteit van Amsterdam | 1991 | |
| Etalle, Sandro | Universiteit van Amsterdam | 1995 | 18 |
| Kalsbeek, Marianne | Universiteit van Amsterdam | 1995 | |
| Teusink, Frank | Universiteit van Amsterdam | 1996 | |
| Gennari, Rosella | Universiteit van Amsterdam | 2002 | |
| Brand, Sebastian | Universiteit van Amsterdam | 2004 | |
| van Hoeve, Willem-Jan | Universiteit van Amsterdam | 2005 | 12 |
| Zoeteweij, Peter | Universiteit van Amsterdam | 2005 | |
| Uckelman, Joel | Universiteit van Amsterdam | 2009 | |
| Witzel, Simon | Universiteit van Amsterdam | 2009 | |
| Zvesper, Jonathan | Universiteit van Amsterdam | 2010 | |
| Sietsma, Floor | Universiteit van Amsterdam | 2012 |
According to our current on-line database, Krzysztof Apt has 13 students and 44 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.