| poprowadzone spotkania KNM |
| Zobaczyć ω₁? | 05.04.2011 |
| Twierdzenie Herbranda, reguła rezolucji i automatyczne dowodzenie twierdzeń | 17.03.1999 |
| O kilku nierozstrzygalnych kwestiach dość elementarnej matematyki | 17.02.1998 |
| Arytmetyka liczb porządkowych | 20.10.1997 |
| Liczby porządkowe. Indukcja pozaskończona | 16.10.1997 |
| Szkoła Matematyki Poglądowej - prezentacja materiałów | 20.03.1997 |
| Zebranie założycielskie - Zagadki logiczne Smullyana | 24.10.1996 |