Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mathematical Structures for Computer Science

Linear Logic in Computer Science

Mathematical Structures for Computer Science

Mathematical Structures for Computer Science

Logic for Computer Science and Artificial Intelligence

Mathematical Foundations of Computer Science

Mathematical Foundations of Computer Science

Mathematical Foundations of Computer Science

Logic and Language Models for Computer Science

Categories in Computer Science and Logic

Computer Science Logic - by Zoltán Ésik (Paperback)

Handbook of Logic and Proof Techniques for Computer Science

Logic in Computer Science: Modelling and Reasoning about Systems

Handbook of Logic in Computer Science Volume 4: Semantic Modelling

Logic for Computer Scientists

Mathematical Structures for Computer Graphics

Logic for Applications (Texts in Computer Science)

Truth, deduction, and computation: logic and semantics for computer science [first edition]

The Art of Prolog, second edition Advanced Programming Techniques

An Introduction to Formal Logic

Computer Mathematics

Computability and Logic

Logic in Computer Science: Modelling and Reasoning about Systems

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

Elements of Logical Reasoning

A Short Course in Computational Science and Engineering

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)

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

A Mathematical Introduction to Logic

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

Logic Colloquium 2004

Systems of Logic

The Science of Logic

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

Mathematical Logic with Special Reference to the Natural Numbers

Elementary and Intermediate Algebra Concepts and Applications, Books a la Carte Edition Plus MyLab Math -- Access Card Package

Finite Mathematics and Calculus with Applications Books a la Carte Plus MyLab Math Package

Student Solutions Manual for Prealgebra & Introductory Algebra

Csm Vce Specialist Mathematics

Foundations of Math Student Workbook Basic Math through Intermediate Algebra Modules

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

A Synopsis of Elementary Results in Pure and Applied Mathematics

Student's Solutions Manual for Elementary & Intermediate Algebra

Finite Mathematics and Calculus with Applications Books a la Carte Plus MyLab Math Package

Pre-Owned Lecture Notes in Computer Science: Computer Science Logic: 11th International Workshop Csl 97 Annual Conference of the Eacsl Aarhus Denmark August 23-29 1997 Selected Papers (Paperback)

Advances in Linear Logic