Strona główna
O nas
Artykuły
Numery
Autorzy
Tematy
Konkursy
Konkurs Uczniowskich Prac »
Aktualności
O konkursie
Lista laureatów
Regulamin
Jury
Klub 44 »
O Klubie
Członkowie
Regulamin
Nagroda Dziekanów
Konkurs Uczniowskich Prac
Aktualności
O konkursie
Lista laureatów
Regulamin
Jury
Klub 44
O Klubie
Członkowie
Regulamin
Nagroda Dziekanów
Kontakt
Jacek Chrząszcz: strona autora
Twierdzenie o niepustym barze, czyli zmechanizowana naturalna dedukcja
Jacek Chrząszcz
Delta 4/2017