Reductive Logic and Proof-search (Hardcover)

Language: English

Published by Oxford University Press, Oxford, 2004

0198526334 / 9780198526339

Series: Book 5 of 11 - Oxford Logic Guides

  • Hardcover
  • New
See all details

Seller: CitiRetail, Stevenage, United KingdomCitiRetail

5-star seller

AbeBooks seller since June 29, 2022

View this seller's items
Hardcover

Condition: New

£ 219.49

£ 37.00 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Item description from seller

Hardcover. 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 modernapplications in the computational sciences.Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science andartificial 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 . This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Seller Inventory # 9780198526339

Title
Reductive Logic and Proof-search (Hardcover)
Author
David J. Pym
Publisher
Oxford University Press, Oxford
Publication year
2004
Condition
new
Binding
Hardcover
Language
English
ISBN 10
0198526334
ISBN 13
9780198526339
Series
Book 5 of 11: Oxford Logic Guides

CitiRetail

Stevenage, United Kingdom

5-star seller

AbeBooks seller since June 29, 2022

Shipping rates from United Kingdom to U.S.A.

Item7 to 14 business days7 to 60 business days
First item£ 37.00£ 37.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

Online business

Seller's business information

ABC BOOKS LIMITED

10 John Street
London, United Kingdom WC1N 2EB