Logic for Computer Science and Artificial Intelligence

Logic and Language Models for Computer Science

Logics for Computer and Data Sciences, 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

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

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

An Introduction to Non-Classical Logic: From If to Is

An Introduction to Formal Logic

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

The Art of Prolog, second edition Advanced Programming Techniques

Computability and Logic

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

Logic Colloquium 2004

Advances in Linear Logic

Logic for Computer Scientists

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

The Computational Logic Handbook

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

A Mathematical Introduction to Logic

Mathematical Logic for Computer Science

Elements of Logical Reasoning

Logic And Language Models For Computer Science (fourth Edition)

Systems of Logic

Lecture Notes in Computer Science Computer Science Logic: 12th International Workshop Csl 98 Annual Conference of the Eacsl Brno Czech Republic Augus Book 1584 (Paperback)

A Short Course in Computational Science and Engineering

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Synthesis Lectures on Computer Science Introduction to Logic Third Edition (Paperback)

Logic, Induction and Sets

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)

Digital Logic for Computing (Paperback)

Philosophy of Logics

An Introduction to Logic Hardcover

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

Handbook of Philosophical Logic: Volume 17

Introduction to Mathematical Logic, Sixth Edition

Introduction to Mathematical Logic, Sixth Edition

Introduction to Mathematical Logic, Sixth Edition

Logic Programming Proceedings of the 1999 International Conference on Logic Programming

Universitext A Course on Mathematical Logic (Paperback)

Introduction to Formal Logic with Philosophical Applications

Logics in Artificial Intelligence: European Workshop Jelia 98 Dagstuhl Germany October 12-15 1998 Proceedings (Paperback)

A Beginner's Guide to Mathematical Logic

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

Pre-Owned Handbook of Practical Logic and Automated Reasoning (Hardcover)

Computational Logic and Human Thinking: How to Be Artificially Intelligent