Fuzzy Logic : Einfűhrung in Theorie und Anwendungen /
Reports on mathematical logic. /
Sheaves in geometry and logic. : A first introduction to topos theory. /
Logical foundations of functional programming. /
Logic and structure. /
Proof and disproof in formal logic : an introduction for programmers /
Matematičeskaja logika v programmirovanii. : Matematičeskoje obespečenije EVM. Sbornik statej. /
O matematické metodě /
Logika pro všechny ochotné myslet /
Logic : key concepts in philosophy /
Informal logic. /
Matematická logika /
Jaká je logická výstavba matematiky? /
Čto takoje matematičeskaja logika? /
Discovering formal logic. /
Philosophy of 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 /
The logical basis for computer programming. Volume 2., Deductive systems. /