Proof and disproof in formal logic : an introduction for programmers /
Logic : key concepts in philosophy /
Informal logic. /
Fuzzy Logic : Einfűhrung in Theorie und Anwendungen /
Philosophy of logic /
Ancient formal logic.
Handbook of the history of logic. Volume 1, Greek, Indian and Arabic logic /
Handbook of the history of logic. Volume 5, Logic from Russell to church /
Handbok of the history of logic. Volume 7 / Logic and the modalities in the twentieth century
Od jazyka k logice : filozofický úvod do moderní logiky /
Reports on mathematical logic. /
Logic and structure. /
A concise introduction to logic. /
Co je nového v logice /
The logical basis for computer programming. Volume 2., Deductive systems. /
Bounded arithmetic, propositional logic, and complexity theory
Logika ve filosofii, filosofie v logice. : (Historický úvod do analytické filosofie). /
Sheaves in geometry and logic. : A first introduction to topos theory. /
Pavel Tichý´s collected papers in logic and philosophy /
Základy logiky : pre spoločenskovedné a humanitné odbory /
Discovering formal logic. /