Výroková logika v úlohách. : Riešenie pomocou grafov. /
Propositional calculus /
Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy /
Stoická sémantika a logika z pohľadu intenzionálnej logiky /
Logické základy umělé inteligence. : 1. Výroková a predikátová logika. /
Základy logiky : pre spoločenskovedné a humanitné odbory /
Od jazyka k logice : filozofický úvod do moderní logiky /
Paradoxy klasické logiky : filosofie a logika hypotetických vět /
Základy dialektickej a formálnej logiky /
Das Blaue Buch ; Eine Philosophische Betrachtung (Das Braune Buch) /
Bounded arithmetic, propositional logic, and complexity theory
Logika /
Logika : [průvodce pro každého] /
Moderná logika /
Formální logika. /
Logika. /
Logika : Neformální výklad základů formální logiky /
Matematická logika /
Výroková logika /
Úvod do logiky pre informatikov /
Mala by byť epistemológia naturalizovaná? /