Logic for Computer Scientists

Logic for Computer Science and Artificial Intelligence

Logic and Language Models for Computer Science

Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science

Logic for Computer Science Foundations of Automatic Theorem Proving, S

Linear Logic in Computer Science

Texts in Computer Science Logic for Applications (Hardcover)

The Art of Prolog, second edition Advanced Programming Techniques

Cambridge International As and a Level Computer Science Coursebook + Cambridge Elevate Edition, 2 Year Access

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Introduction to Programming with C++, Student Value Edition

Programming with Higher-Order Logic

Elements of Logical Reasoning

Computer Mathematics

Logic And Language Models For Computer Science (fourth Edition)

Texts in Computer Science: Logic for Artificial Intelligence and Information Technology (Paperback)

A Mathematical Introduction to Logic

Logic in Computer Science: Modelling and Reasoning about Systems

Pre-Owned Lecture Notes in Computer Science: Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium Kgc 97 Vienna Austria August 25-29 1997 Proceedings (Paperback)

Logic in Computer Science: Modelling and Reasoning about Systems

Progress in Computer Science and Applied Mathematical Logic: Foundations for Information Science Book 25 (Hardcover)

An Introduction to Logic Hardcover

Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods

Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Arithmetic and Logic in Computer Systems

Pre-Owned An Introduction to Computer Logic (Hardcover) 0134800125 9780134800127

Handbook of Logic and Proof Techniques for Computer Science (Hardcover)

Digital Logic Design: A Rigorous Approach

Handbook of Philosophical Logic: Volume 17

Handbook of Logic in Computer Science Volume 4: Semantic Modelling

A Beginner's Guide to Mathematical Logic

Logic Language Information and Computation (Paperback)

Introduction to Logic Circuits & Logic Design with VHDL

Pre-Owned Lecture Notes in Computer Science: Edinburgh Lcf: A Mechanized Logic of Computation (Paperback)

Pre-Owned Lecture Notes in Computer Science: Logic Programming: 18th International Conference Iclp 2002 Copenhagen Denmark July 29 - August 1 2002 Proceedings (Paperback)

Lecture Notes in Computer Science: First-Order Dynamic Logic (Paperback)

Mathematical Logic A First Course

Pre-Owned Programming Logic & Design Comprehensive (Paperback) 1337102075 9781337102070

Proof and Disproof in Formal Logic An Introduction for Programmers

Invitation to Computer Science Lab Manual

Program Logics for Certified Compilers

Lecture Notes in Logic Logic Colloquium 2007 Book 35 (Paperback)

Boolean Reasoning The Logic of Boolean Equations

Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic (Paperback)

Programming Logic and Design, Introductory

Programming Logic and Design, Introductory

Cambridge International As and a Level Computer Science Coursebook + Cambridge Elevate Edition, 2 Year Access