Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

Logic and Discrete Mathematics A Concise Introduction, Solutions Manual

Arithmetic and Logic in Computer Systems

Digital Logic With an Introduction to Verilog and FPGA-Based Design

Linear Logic in Computer Science

Digital Logic With an Introduction to Verilog and FPGA-Based Design

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

Logics for Computer Science: Classical and Non-Classical

Engineering Software Products An Introduction to Modern Software Engineering

Digital Logic Design Tutorial and Laboratory Exercises

Systems of Logic

Real-Time Systems: Formal Specification and Automatic Verification

Logic Colloquium 2006

A First Course in Mathematical Logic and Set Theory

Elements of Logical Reasoning

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

Logic: A Complete Introduction

Digital Logic for Computing (Paperback)

Logic for Computer Scientists

Digital Logic Design: A Rigorous Approach

Logic for Computer Science and Artificial Intelligence

A Mathematical Introduction to Logic

Computer Structure and Logic

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

PACKAGE: Logic and Computer Design Fundamentals

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

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

Logic Language Information and Computation (Paperback)

Introduction to Formal Logic

Program Logics for Certified Compilers

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)

PROGRAMMABLE LOGIC...(LL)-W/ACCESS

Logic Programming: 25th International Conference Iclp 2009 Pasadena Ca Usa July 14-17 2009 Proceedings (Paperback)

Introduction to Logic Design

Synthese Library Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic Book 4 (Hardcover)

Arithmetic and Logic in Computer Systems

Lecture Notes in Computer Science Logics of Programs: Brooklyn June 17-19 1985 Book 193 (Paperback)

A First Course in Mathematical Logic and Set Theory

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Paperback)

Bundle: Programming Logic And Design, Comprehensive, 5E

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

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

Logic and Language Models for Computer Science

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

Logic and Language Models for Computer Science

Boolean Reasoning: The Logic of Boolean Equations (Hardcover)

Deductive Logic