Formální logika v umělé inteligenci /
Základy logiky : pre spoločenskovedné a humanitné odbory /
Výroková logika /
Od jazyka k logice : filozofický úvod do moderní logiky /
Výroková logika v úlohách. : Riešenie pomocou grafov. /
Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy /
Propositional calculus /
Stoická sémantika a logika z pohľadu intenzionálnej logiky /
Úvod do logiky pre informatikov /
Základy dialektickej a formálnej logiky /
Paradoxy klasické logiky : filosofie a logika hypotetických vět /
Das Blaue Buch ; Eine Philosophische Betrachtung (Das Braune Buch) /
Bounded arithmetic, propositional logic, and complexity theory
Logika : Neformální výklad základů formální logiky /
Etika umělé inteligence /
Logika onticky neurčitých domén: jsou logické pravdy nahodilé? /
Umělá inteligence (1) /
Metody shlukové analýzy /
Logické základy umělé inteligence. : 1. Výroková a predikátová logika. /
Úvod do databázové technologie. /