Order Total (1 Item Items):
Shipping Destination:
Pym David J Ritter Eike (11 results)
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 Learn more
- New (7)
- As New, Fine or Near Fine (3)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
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 £ 20 (No further results match this refinement)
- £ 20 to £ 40 (No further results match this refinement)
- Over £ 40
Free Shipping
Seller Location
Seller Rating
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Reductive Logic and Proof-Search
Published by Oxford University Press, 2004
ISBN 10: 0198526334 ISBN 13: 9780198526339
Language: English
Condition: New. pp. 232.
-
-
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
Condition: 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
Condition: New.
-
Couverture rigide. Condition: Neuf.
-
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Hardcover. Condition: Like New. Like New. book.
-
Condition: As New. Unread book in perfect condition.
-
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.
