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

Home

Barnes and Noble

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

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

You May Also Like

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

Symbolic Logic: Syntax, Semantics, and Proof

From Barnes and Noble
Proof, Logic and Formalization
Barnes and Noble

Proof, Logic and Formalization

From Barnes and Noble
Hybrid Logic and its Proof-Theory / Edition 1
Barnes and Noble

Hybrid Logic and its Proof-Theory / Edition 1

From Barnes and Noble
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Barnes and Noble

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

From Barnes and Noble
Foundations of Probabilistic Logic Programming: Languages, Semantics
Barnes and Noble

Foundations of Probabilistic Logic Programming: Languages, Semantics

From Barnes and Noble
Classical Mathematical Logic: The Semantic Foundations of Logic
Barnes and Noble

Classical Mathematical Logic: The Semantic Foundations of Logic

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
A Logical Introduction to Proof / Edition 1
Barnes and Noble

A Logical Introduction to Proof / Edition 1

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

Deduction: Introductory Symbolic Logic / Edition 2

From Barnes and Noble
Modal Logic: An Introduction to its Syntax and Semantics
Barnes and Noble

Modal Logic: An Introduction to its Syntax and Semantics

From Barnes and Noble
Representation Theorems in Computer Science: A Treatment in Logic Engineering
Barnes and Noble

Representation Theorems in Computer Science: A Treatment in Logic Engineering

From Barnes and Noble
Proof Theory of Modal Logic / Edition 1
Barnes and Noble

Proof Theory of Modal Logic / Edition 1

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

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

From Barnes and Noble
Mathematical Logic and Computation
Barnes and Noble

Mathematical Logic and Computation

From Barnes and Noble
Mathematical Logic: An Introduction to Model Theory
Barnes and Noble

Mathematical Logic: An Introduction to Model Theory

From Barnes and Noble
Powered by Adeptmind