Logické základy umělé inteligence. : 1. Výroková a predikátová logika. /
Formální a transcendentální logika /
Formální logika. /
Základy logiky : pre spoločenskovedné a humanitné odbory /
Od jazyka k logice : filozofický úvod do moderní logiky /
Proof and disproof in formal logic : an introduction for programmers /
Pojmopis : formulovaný jazyk čistého myšlení po vzoru formulovaného jazyka aritmetiky /
Základy dialektickej a formálnej logiky /
Logické postupy při práci s vynálezy, vzory a označeními /
Logika : Neformální výklad základů formální logiky /
Logika /
Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy /
Logika : [průvodce pro každého] /
Moderná logika /
Logika pro všechny ochotné myslet /
Logika pre každého /
Logika pre každého. /
Formální logika v umělé inteligenci /
Základy matematiky, logiky a statistiky pro sociologii a ostatní společenské vědy v příkladech /
Význam, sémantika, Wittgenstein /
Úvod do logiky pre informatikov /
Metody shlukové analýzy /
Úvod do databázové technologie. /