| poprowadzone spotkania KNM |
| Pszepani, a no co nam te całe sinusy ? Czyli o perypetiach byłego logika w¶ród inż... | 24.05.2013 |
| Spotkanie członków-reanimatorów i nie tylko | 20.06.2012 |
| 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 |
