Od jazyka k logice : filozofický úvod do moderní logiky /
Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy /
Logické základy umělé inteligence. : 1. Výroková a predikátová logika. /
Propositional calculus /
Možnost, skutečnost, nutnost : příspěvky k modální propedeutice /
Úvod do logiky pre informatikov /
Základy dialektickej a formálnej logiky /
Stoická sémantika a logika z pohľadu intenzionálnej logiky /
Výroková logika /
Význam a nevyhnutnosť /
Formální logika v umělé inteligenci /
Paradoxy klasické logiky : filosofie a logika hypotetických vět /
Filosofie logiky /
Výroková logika v úlohách. : Riešenie pomocou grafov. /
Základy logiky a argumentace pro zájemce o umělou inteligenci, filozofii, práva a učitelství /
Modality v analytické metafyzice /
O matematické metodě /
Jak je drahá nepoctivost : proč každému lžeme, hlavně sami sobě /
Syntetické apriori /
Logika pre každého /
Logiko-epistemologičeskije issledovanija : sbornik izbrannych statej /
Základy logiky v temporalitě lidské existence : spor o psychologismus v myšlení Martina Heideggera /
O špatném nekonečnu /
Logická zkoumání. II/2, Základy fenomenologického objasnění poznání /
Moderná logika /
Sondy do dejín logiky a metodológie vied na Slovensku a v Čechách /
Ozvěny Fregovy filosofie /
Bemerkungen über die Grundlagen der Mathematik /
Tractatus logico-philosophicus ; Tagebücher 1914-1916 ; Philosophische Untersuchungen /
Lehrbuch zur Einleitung in die Philosophie /
Logika pro všechny ochotné myslet /
Logika mýtu /
Úvod do logiky Lvovsko-varšavské školy /
G. W. Leibniz: From logic to metaphysics : (on the path to individual substance) /
O analýze : studie k chápání logiky v Aristotelových Prvních analytikách /
Das Blaue Buch ; Eine Philosophische Betrachtung (Das Braune Buch) /
Bounded arithmetic, propositional logic, and complexity theory
Základy logiky : pre spoločenskovedné a humanitné odbory /
Medzi sémantikou a epistemológiou jazyka /
Metóda: metodologické a formálne aspekty /
Počiatky analytickej filozofie a problémy jazyka /
Argument: nástroj myslenia a presviedčania /