LOGIKA A TEÓRIA MNOŽÍN
ÚMV/LTM/10
PREDNÁŠKY
CVIČENIA
DOMÁCE ÚLOHY
MATERIÁLY
Úvod do matematickej logiky
Axiómy výrokového počtu
p
-adický zápis