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

Symbolic Logic: Syntax, Semantics, and Proof

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

Hybrid Logic and its Proof-Theory / Edition 1

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

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

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

Foundations of Probabilistic Logic Programming: Languages, Semantics

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

Classical Mathematical Logic: The Semantic Foundations of Logic

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

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Barnes and Noble
A Logical Introduction to Proof / Edition 1

A Logical Introduction to Proof / Edition 1

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

Proof, Computation and Agency: Logic at the Crossroads

Barnes and Noble
Deduction: Introductory Symbolic Logic / Edition 2

Deduction: Introductory Symbolic Logic / Edition 2

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

Modal Logic: An Introduction to its Syntax and Semantics

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

Representation Theorems in Computer Science: A Treatment in Logic Engineering

Barnes and Noble
Proof Theory of Modal Logic / Edition 1

Proof Theory of Modal Logic / Edition 1

Barnes and Noble
A Precis of Mathematical Logic

A Precis of Mathematical Logic

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
Mathematical Logic and Computation

Mathematical Logic and Computation

Barnes and Noble
Mathematical Logic: An Introduction to Model Theory

Mathematical Logic: An Introduction to Model Theory

Barnes and Noble
Powered by Adeptmind