Reductive Logic Proof Search Proof by Pym David (23 results)
Language: English
Published by Clarendon Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.Powell's Bookstores Chicago, ABAA
Contact seller5-star sellerCondition: Used - Very good
£ 32.71
£ 3.69 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. None. 5th. 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 t…hese 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.
Language: English
Published by Clarendon Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 103.99
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Clarendon Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 104.83
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Language: English
Published by Oxford University Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: Used
£ 155.19
£ 8.43 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 232.
Language: English
Published by Oxford University Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: Used - Very good
£ 157.20
£ 5.02 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
HRD. Condition: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by Clarendon Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 161.52
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Oxford University Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: Used - Very good
£ 163.54
Free ShippingShips within U.S.A.Quantity: 1 available
HRD. Condition: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by Clarendon Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: ECOSPHERE, Champs sur marne, FranceECOSPHERE
Contact seller5-star sellerCondition: New
£ 112.56
£ 55.06 shippingShips from France to U.S.A.Quantity: 1 available
Couverture rigide. Condition: Neuf.
Language: English
Published by Clarendon Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 154.48
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Clarendon Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 165.99
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Clarendon Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 158.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. Like New. book.
Language: English
Published by Clarendon Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 189.31
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Oxford University Press, GB, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 193.88
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: New. 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/mod…el-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 .
Language: English
Published by Oxford University Press, GB, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
£ 179.93
£ 65.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: New. 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/mod…el-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 .
Language: English
Published by Oxford University Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 294.82
£ 7.76 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Discusses 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 applications…in the computational sciences. Series: Oxford Logic Guides. Num Pages: 232 pages, numerous figures & tables. BIC Classification: HPL; PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 17. Weight in Grams: 480. . 2004. Hardback. . . . . Books ship from the US and Ireland.
Language: English
Published by Oxford University Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 346.87
£ 8.89 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. Discusses 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 applications…in the computational sciences. Series: Oxford Logic Guides. Num Pages: 232 pages, numerous figures & tables. BIC Classification: HPL; PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 17. Weight in Grams: 480. . 2004. Hardback. . . . .
Published by Clarendon Press, Oxford, 2004
- Hardcover
- First Edition
Seller: Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.Evening Star Books, ABAA/ILAB
Contact seller5-star sellerHardcover. Condition: Very near Fine. First edition. 8vo. [5], vi-xv, [4], 2-208, [4] pp. Navy cloth with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gold on the spine, single gold rule on the front board with three gold rules on the spine. Volume 45 in the Oxford Logic Guide…s series. Series editors Angus MacIntyre, Dov M. Gabbay, and Dana Scott. As with most volumes in the series, this book was issued without a dust jacket. This monograph is focused on reductive logics (logics based on the notion of how, given a putative conclusion, a proof may be determined using a non-deterministic procedure choosing amongst possible premises). Reductive logics are of particular interest within the field of computation and the authors examine semantics and proof theory within this context as well as exploring both Intuitionistic and Classical proof systems. A very attractive copy. Very near Fine with a bit of minor rubbing to the rear board.
Language: English
Published by Oxford University Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 157.20
£ 5.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Language: English
Published by Oxford University Press, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 163.54
Free ShippingShips within U.S.A.Quantity: Over 20 available
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Language: English
Published by Oxford University Press, Oxford, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contact seller5-star sellerCondition: New
£ 161.69
£ 27.33 shippingShips from Australia to U.S.A.Quantity: 1 available
Hardcover. Condition: new. 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 Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Language: English
Published by Oxford University Press, Oxford, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
Contact seller5-star sellerCondition: New
£ 164.99
£ 37.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: new. 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.
Language: English
Published by Oxford University Press, Oxford, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 224.76
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: new. 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 multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by OUP Oxford, 2004
Series: Oxford Logic Guides, Book 5 of 11. Book 5 of 11 - Oxford Logic Guides
- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 205.96
£ 59.30 shippingShips from Germany to U.S.A.Quantity: 5 available
Buch. Condition: Neu. Reductive Logic and Proof-Search | Proof Theory, Semantics, and Control | David J. Pym (u. a.) | Buch | Gebunden | Englisch | 2004 | OUP Oxford | EAN 9780198526339 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
