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

Home

Barnes and Noble

Edinburgh LCF: A Mechanized Logic of Computation

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Mathematical Logic and Computation
Barnes and Noble

Mathematical Logic and Computation

From Barnes and Noble
Computational Logic / Edition 1
Barnes and Noble

Computational Logic / Edition 1

From Barnes and Noble
Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification
Barnes and Noble

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

From Barnes and Noble
Mathematical Logic for Computer Science / Edition 3
Barnes and Noble

Mathematical Logic for Computer Science / Edition 3

From Barnes and Noble
the Great Formal Machinery Works: Theories of Deduction and Computation at Origins Digital Age
Barnes and Noble

the Great Formal Machinery Works: Theories of Deduction and Computation at Origins Digital Age

From Barnes and Noble
Quantum Computation and Logic: How Computers Have Inspired Logical Investigations
Barnes and Noble

Quantum Computation and Logic: How Computers Have Inspired Logical Investigations

From Barnes and Noble
Logic: A Complete Introduction
Barnes and Noble

Logic: A Complete Introduction

From Barnes and Noble
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings / Edition 1
Barnes and Noble

Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings / Edition 1

From Barnes and Noble
Advances in Linear Logic
Barnes and Noble

Advances in Linear Logic

From Barnes and Noble
Logic for Mathematicians / Edition 2
Barnes and Noble

Logic for Mathematicians / Edition 2

From Barnes and Noble
Proof, Computation and Agency: Logic at the Crossroads
Barnes and Noble

Proof, Computation and Agency: Logic at the Crossroads

From Barnes and Noble
Applications of Logic Databases / Edition 1
Barnes and Noble

Applications of Logic Databases / Edition 1

From Barnes and Noble
Logic, Meaning and Computation: Essays in Memory of Alonzo Church
Barnes and Noble

Logic, Meaning and Computation: Essays in Memory of Alonzo Church

From Barnes and Noble
Introduction to Mathematical Logic / Edition 6
Barnes and Noble

Introduction to Mathematical Logic / Edition 6

From Barnes and Noble
Reasoning with Logic Programming / Edition 1
Barnes and Noble

Reasoning with Logic Programming / Edition 1

From Barnes and Noble
Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic / Edition 1
Barnes and Noble

Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic / Edition 1

From Barnes and Noble
Powered by Adeptmind