Fundamentals of computer logic /
Computability, Complexity, Logic. /
Computer Logic, Testing and Verification.
The logical basis for computer programming. Volume 2., Deductive systems. /
Logical design for computers and control.
Algebra, Combinatorics and Logic in Computer Science Vol. 2
Algebra, combinatorics and logic in computer science. Vol. 1
Logic and algorithms, with applications to the computer and information sciences /
Computer science and multiple-valued logic theory and applications /
Logical and epistemological studies in contemporary physica /
Logic : key concepts in philosophy /
Logical writings /
Mathematical logic /
Logic and structure. /
Philosophy of logic /
Matrix logic /
The logic of categories /
The situation in logic /
Informal logic. /
Computability and logic /