Logic in Computer Science: Modelling and Reasoning about Systems

Bundle: Programming Logic And Design, Comprehensive, 5/E

Bundle: Programming Logic And Design, Comprehensive, 5/E

The Languages of Logic An Introduction to Formal Logic

Bundle: Programming Logic And Design, Comprehensive, 5/E

Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

Boolean Reasoning: The Logic of Boolean Equations (Hardcover)

Deductive Logic

A Concise Introduction to Logic

A Beginner's Guide to Mathematical Logic

Pre-Owned Implementations of Logic Programming Systems (Hardcover)

Proof and Disproof in Formal Logic An Introduction for Programmers

Fundamentals of Digital Logic with Verilog Design

Logic and Language Models for Computer Science

The Art of Prolog, second edition Advanced Programming Techniques

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

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

Programmable Logic Application Notes Paperback

How to Engineer Software A Model-Based Approach

Handbook of Logic and Proof Techniques for Computer Science

Argument and Abstraction : An Introduction to Formal Logic

Introduction to Mathematical Logic, Sixth Edition

Introduction to Mathematical Logic, Sixth Edition

Programmable Logic Controllers

Programmable Logic Controllers

Logic of Mathematics A Modern Course of Classical Logic

Formal Methods in Computer Science

Systems Engineering Guidebook: A Process for Developing Systems and Products

A Mathematical Introduction to Logic

Pre-Owned Computability and Logic (Hardcover)

Fundamentals Of Logic Design. 6/E Text

Introduction to Logic Circuit Design

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

Logic for Computer Science Foundations of Automatic Theorem Proving, S

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

An Introduction to the Philosophy of Logic

An Object-Oriented Approach to Programming Logic and Design

A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

LOGIC FOR COMPUTER SCIENTISTS

Lecture Notes in Computer Science Computer Science Logic: 4th Workshop CSL 90 Heidelberg Germany October 1-5 1990. Proceedings Book 533 (Paperback)

Automated Theorem Proving in Software Engineering (Paperback)

Logic Programming Logic Programming: Proceedings of the 1999 International Conference on Logic Programming (Paperback)

A First Course in Mathematical Logic and Set Theor

PACKAGE: INTRODUCTION TO LOGIC

*BNDL SP+1 CONCISE INTRODUCTION TO LOGIC+SG/WEBTUTOR/L.LOGIC

Logical Methods : A Text-Workbook for a General Education Course in Logic

Symbolic Logic