Computability and logic /
Fundamentals of computer logic /
Bounded arithmetic, propositional logic, and complexity theory
Computer Logic, Testing and Verification.
The logical basis for computer programming. Volume 2., Deductive systems. /
Logical design for computers and control.
Computer simulations with mathematica. Explorations in complex ...
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 /
Complex numbers /
Complex carbohydrates. Part D /
Complex analysis : an invitation /
Logic : key concepts in philosophy /
The situation in logic /
Logical writings /
Mathematical logic /
Logic and structure. /
Computability, Complexity, Logic. /