FILIT
Obsah Chronológia Registre Diskusia Správa Zoznam S |
Slovník formalizovaného jazyka výrokovej logikyslovník formalizovaného jazyka výrokovej logiky - základné (primitivne) symboly výrokových premenných a logických konštánt výrokovej logiky ( L332;97).
|