Krzysztof R. Apt
Original record- Institution
- Uniwersytet Warszawski
- Year
- 1974
- Country
- Poland
- MGP identifier
- 22611
Dissertation: Niefinitystyczne reguły wnioskowania (Infinitistic rules of proof)
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Andrzej MostowskiUniwersytet Warszawski · 1938
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Roland Bol | Universiteit van Amsterdam | 1991 | 0 |
| Luc Bougé | Université Paris Diderot - Paris 7 | 1987 | 1 |
| Sebastian Brand | Universiteit van Amsterdam | 2004 | 0 |
| Sandro Etalle | Universiteit van Amsterdam | 1995 | 23 |
| Rosella Gennari | Universiteit van Amsterdam | 2002 | 5 |
| Marianne Baukje Kalsbeek | Universiteit van Amsterdam | 1995 | 0 |
| Floor Sietsma | Universiteit van Amsterdam | 2012 | 0 |
| Frank Teusink | Universiteit van Amsterdam | 1996 | 0 |
| Joel David Uckelman | Universiteit van Amsterdam | 2009 | 0 |
| Willem-Jan van Hoeve | Universiteit van Amsterdam | 2005 | 9 |
| Simon Andreas Witzel | Universiteit van Amsterdam | 2009 | 0 |
| Peter Zoeteweij | Universiteit van Amsterdam | 2005 | 0 |
| Jonathan Alexander Zvesper | Universiteit van Amsterdam | 2010 | 0 |