Proofs and Algorithms, Fachbücher von Gilles Dowek

Logic: a Brief Course, Fachbücher von Daniele Mundici

Mathematical Problems and Proofs, Fachbücher von Branislav Kisacanin

Introduction to Boolean Algebras, Fachbücher von Steven Givant, Paul Halmos

A Concise Introduction to Languages and Machines, Fachbücher von Alan P. Parkes

Graph Theory, Combinatorics and Algorithms, Fachbücher von Martin Charles Golumbic, Irith Ben-Arroyo Hartman

Logic for Computer Scientists, Fachbücher von Uwe Schöning

Selection Algorithm, Fachbücher

Reduction (Recursion Theory), Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

Logic for Applications, Fachbücher von Anil Nerode, Richard A. Shore

An Introduction to Mathematical Logic and Type Theory, Fachbücher von Peter B. Andrews

Beyond Two: Theory and Applications of Multiple-Valued Logic, Fachbücher von Ewa Orlowska, Melvin Fitting

Philosophical Logic in Poland, Fachbücher von Jan Wolenski

Gödel's Incompleteness Theorems, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster

Codes: An Introduction to Information Communication and Cryptography, Fachbücher von Norman L. Biggs

Logic and Scientific Methods, Fachbücher von Daniele Mundici, Maria L. Dalla Chiara, Kees Doets