Propositional calculus /
Od jazyka k logice : filozofický úvod do moderní logiky /
Výroková logika /
Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy /
Constructive Mathematics : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, august 11-15, 1980 /
Výpočty. Svazek III /
Výpočty. Svazek I /
Základy logiky : pre spoločenskovedné a humanitné odbory /
Výroková logika v úlohách. : Riešenie pomocou grafov. /
Stoická sémantika a logika z pohľadu intenzionálnej logiky /
Základy dialektickej a formálnej logiky /
The propositional logic of Boethius.
Logické základy umělé inteligence. : 1. Výroková a predikátová logika. /
Das Blaue Buch ; Eine Philosophische Betrachtung (Das Braune Buch) /
Fuzzy Logic : Einfűhrung in Theorie und Anwendungen /
Paradoxy klasické logiky : filosofie a logika hypotetických vět /
Logic : key concepts in philosophy /
Informal logic. /
Discovering formal logic. /
Bounded arithmetic, propositional logic, and complexity theory
Úvod do logiky pre informatikov /