Reductive Logic and Proof-search Image close
Reductive Logic and Proof-search on Hardback by David J Pym
Reductive Logic and Proof-search on Hardback by David J Pym
Show Hide Adult Content
Reductive Logic and Proof-search close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Humanities  
Philosophy  
Topics in philosophy  
Logic

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$517.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $129.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jul - 6 Aug using International Courier

Explore more Oxford Logic Guides

See all products in this series

Positive Topology on Hardback by Giovanni Sambin
$317.99
Positive Topology
by Giovanni Sambin ~ Hardback
Pre-order - out 15 Aug 2024
Category Theory by Steve Awodey
$156.99
Category Theory
by Steve Awodey ~ Paperback / softback
Available - Usually ships in 2-3 weeks
Sketches of an Elephant: A Topos Theory Compendium on Hardback by Peter T. Johnstone
$932.99
Sketches of an Elephant: A Topos Theory Compendium
by Peter T. Johnstone ~ Hardback
Available - Usually ships in 2-3 weeks
Algebraic Methods in Philosophical Logic on Hardback by J.Michael Dunn
$610.99
Algebraic Methods in Philosophical Logic
by J.Michael Dunn ~ Hardback
Available - Usually ships in 3-4 weeks
Set Theory by John L. Bell
$158.99
Set Theory
by John L. Bell ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fibring Logics on Hardback by Dov M Gabbay
$388.99
Fibring Logics
by Dov M Gabbay ~ Hardback
Available - Usually ships in 3-4 weeks
Gödel's Incompleteness Theorems on Hardback by Raymond M Smullyan
$947.99
Gödel's Incompleteness Theorems
by Raymond M Smullyan ~ Hardback
Available - Usually ships in 3-4 weeks
Model Theory on Hardback by Maria Manzano
$609.99
Model Theory
by Maria Manzano ~ Hardback
Available - Usually ships in 3-4 weeks
The Structure of Models of Peano Arithmetic on Hardback by Roman Kossak
$457.99
The Structure of Models of Peano Arithmetic
by Roman Kossak ~ Hardback
Available - Usually ships in 3-4 weeks
Introduction to Logic and to the Methodology of Deductive Sciences on Hardback by Alfred Tarski
$950.99
Introduction to Logic and to the Methodology of Deductive Sciences
by Alfred Tarski ~ Hardback
Available - Usually ships in 3-4 weeks
Twenty Five Years of Constructive Type Theory on Hardback by Giovanni Sambin
$310.99
Twenty Five Years of Constructive Type Theory
by Giovanni Sambin ~ Hardback
Available - Usually ships in 3-4 weeks
Groups of Finite Morley Rank on Hardback by Alexandre Borovik
$563.99
Groups of Finite Morley Rank
by Alexandre Borovik ~ Hardback
Available - Usually ships in 3-4 weeks
Interpolation and Definability on Hardback by Dov M Gabbay
$604.99
Interpolation and Definability
by Dov M Gabbay ~ Hardback
Available - Usually ships in 3-4 weeks
Many-Valued Logics on Hardback by Grzegorz Malinowski
$406.99
Many-Valued Logics
by Grzegorz Malinowski ~ Hardback
Available - Usually ships in 3-4 weeks
Change, Choice and Inference on Hardback by Hans Rott
$612.99
Change, Choice and Inference
by Hans Rott ~ Hardback
Available - Usually ships in 3-4 weeks
Geometric Stability Theory on Hardback by Anand Pillay
$434.99
Geometric Stability Theory
by Anand Pillay ~ Hardback
Available - Usually ships in 3-4 weeks

Description

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .

Author Biography:

David J. Pym hold a Royal Society Industry Fellowship at Hewlett-Packard Laboratories, Bristol and the University of Bath.
Release date Australia
April 29th, 2004
Audience
  • Professional & Vocational
Illustrations
numerous figures & tables
Pages
232
Dimensions
162x242x18
ISBN-13
9780198526339
Product ID
2966401

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by David J Pym

See all books by this author

The Semantics and Proof Theory of the Logic of Bunched Implications on Hardback by David J Pym Save $18
$421.99
$440.95
The Semantics and Proof Theory of the Logic of Bunched Implications
by David J Pym ~ Hardback
Available - Usually ships in 3-4 weeks
The Semantics and Proof Theory of the Logic of Bunched Implications by David J Pym Save $39
$400.99
$440.95
The Semantics and Proof Theory of the Logic of Bunched Implications
by David J Pym ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation