The following text field will produce suggestions that follow it as you type.

Barnes and Noble

Representation Theorems in Computer Science: A Treatment in Logic Engineering

Unfortunately, this item is no longer available, but we found some similar items you might like.
Mathematical Logic for Computer Science / Edition 3

Mathematical Logic for Computer Science / Edition 3

Barnes and Noble
Essential Logic for Computer Science

Essential Logic for Computer Science

Barnes and Noble
Mathematical Logic and Computation

Mathematical Logic and Computation

Barnes and Noble
Computational Logic

Computational Logic

Barnes and Noble
Automated Theorem Proving in Software Engineering / Edition 1

Automated Theorem Proving in Software Engineering / Edition 1

Barnes and Noble
Mathematical Logic: An Introduction to Model Theory

Mathematical Logic: An Introduction to Model Theory

Barnes and Noble
Mathematical Logic and Its Applications

Mathematical Logic and Its Applications

Barnes and Noble
Mathematical Logic: An Introduction

Mathematical Logic: An Introduction

Barnes and Noble
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

Barnes and Noble
Set Theory and Its Logic: Revised Edition

Set Theory and Its Logic: Revised Edition

Barnes and Noble
Mathematical Logic and Theoretical Computer Science / Edition 1

Mathematical Logic and Theoretical Computer Science / Edition 1

Barnes and Noble
Mathematical Logic

Mathematical Logic

Barnes and Noble
Systems of Formal Logic

Systems of Formal Logic

Barnes and Noble
Algebraic Logic

Algebraic Logic

Barnes and Noble
Introduction to Mathematical Logic / Edition 6

Introduction to Mathematical Logic / Edition 6

Barnes and Noble
Symbolic Logic: Syntax, Semantics, and Proof

Symbolic Logic: Syntax, Semantics, and Proof

Barnes and Noble
Powered by Adeptmind