Minor shelf wear. Else a bright, clean copy. 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.

Seller Inventory # 2035916

Contact seller

Report this item

Bibliographic Details

Title

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

Publisher

Clarendon Press

Publication Date

2004

Language

English

ISBN 10

0198526334

ISBN 13

9780198526339

Binding

Hardcover

Edition

5th.

Condition

Very Good

Dust Jacket Condition

None

Seller catalogs

Mathematics

About this title

Synopsis

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.

About the Author

David J. Pym hold a Royal Society Industry Fellowship at Hewlett-Packard Laboratories, Bristol and the University of Bath.

"About this title" may belong to another edition of this title.

Store Description

Independent Bookstores since 1971.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Powell's Bookstores Chicago, ABAA
1501 E. 57th Street, Chicago, IL, 60637, U.S.A.

Sale & Shipping Terms

Terms of Sale

All items subject to prior sale. No questions asked refunds within 30 days. For shipping rates, click "Shipping: Rates & Speed" above. Powells Bookstore Inc., 1501 E 57th Street, Chicago, IL 60637; catorders@powellschicago.com; 773-955-7780. VAT: N/A.

Shipping Terms

Orders ship within 2 business days. Domestic standard orders shipped via
USPS Media Mail; Domestic Expedited orders shipped via FedEx or UPS
Ground. All International orders shipped via courier, typically arriving
within 7-21 business days. Expedited and Standard International rates are the
same.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	5 to 14 business days
First item	US$ 5.28	US$ 5.28

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.