Order Total (1 Item Items):
Shipping Destination:
Pym David Ritter Eike (11 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (11)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
- All Bindings
- Hardcover (11)
- Softcover (No further results match this refinement)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (5)
- Not Print on Demand (11)
Language (2)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Reductive Logic and Proof-Search
Published by Oxford University Press, 2004
ISBN 10: 0198526334 ISBN 13: 9780198526339
Language: English
US$ 184.16
Convert currencyUS$ 11.61 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: New. pp. 232.
-
US$ 193.39
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 155.00
Convert currencyUS$ 58.33 shipping from France to U.S.A.Quantity: 1 available
Add to basketCouverture rigide. Condition: Neuf.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 215.93
Convert currencyUS$ 16.09 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 215.92
Convert currencyUS$ 20.14 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 237.43
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 229.58
Convert currencyUS$ 20.14 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 218.52
Convert currencyUS$ 33.57 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
US$ 249.44
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Reductive Logic and Proof-search
Published by Oxford University Press, 2004
ISBN 10: 0198526334 ISBN 13: 9780198526339
Language: English
US$ 547.92
Convert currencyUS$ 68.23 shipping from Spain to U.S.A.Quantity: 1 available
Add to basketCondition: Usado - bueno.
-
Reductive Logic and Proof Search; Proof Theory, Semantics and Control
Published by Clarendon Press, Oxford, 2004
Seller: Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.
Association Member: ABAA ILAB IOBA
Seller rating 5 out of 5 stars
First Edition
Hardcover. 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 Guides 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.
