FILIT
Obsah
Chronológia
Registre
Diskusia
Správa
Zoznam S
Systém logický
systém
logický
-
abstraktný systém
formulovaný v
jazyku logiky
.