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

Home

Barnes and Noble

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

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

You May Also Like

Perspectives on Deduction: Contemporary Studies the Philosophy, History and Formal Theories of Deduction
Barnes and Noble

Perspectives on Deduction: Contemporary Studies the Philosophy, History and Formal Theories of Deduction

From Barnes and Noble
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Barnes and Noble

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

From Barnes and Noble
Mathematical Logic and Computation
Barnes and Noble

Mathematical Logic and Computation

From Barnes and Noble
Edinburgh LCF: A Mechanized Logic of Computation
Barnes and Noble

Edinburgh LCF: A Mechanized Logic of Computation

From Barnes and Noble
The Universal Machine: From the Dawn of Computing to Digital Consciousness
Barnes and Noble

The Universal Machine: From the Dawn of Computing to Digital Consciousness

From Barnes and Noble
Analogies and Theories: Formal Models of Reasoning
Barnes and Noble

Analogies and Theories: Formal Models of Reasoning

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
Proof, Computation and Agency: Logic at the Crossroads
Barnes and Noble

Proof, Computation and Agency: Logic at the Crossroads

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
Systems of Formal Logic
Barnes and Noble

Systems of Formal Logic

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
Deduction: Introductory Symbolic Logic / Edition 2
Barnes and Noble

Deduction: Introductory Symbolic Logic / Edition 2

From Barnes and Noble
Theory and Design of Digital Computer Systems
Barnes and Noble

Theory and Design of Digital Computer Systems

From Barnes and Noble
Fundamentals of Digital Machine Computing
Barnes and Noble

Fundamentals of Digital Machine Computing

From Barnes and Noble
Algorithmics: The Spirit of Computing
Barnes and Noble

Algorithmics: The Spirit of Computing

From Barnes and Noble
Automated Theory Formation in Pure Mathematics
Barnes and Noble

Automated Theory Formation in Pure Mathematics

From Barnes and Noble
Powered by Adeptmind