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

Name: Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
Author: David J. Pym; Eike Ritter
ISBN: 9780198526339

David J. Pym; Eike Ritter

Language: English

Published by Clarendon Press, 2004

0198526334 / 9780198526339

Series: Book 5 of 11 - Oxford Logic Guides

Hardcover
New

See all details

Seller: ECOSPHERE, Champs sur marne, FranceECOSPHERE

5-star seller

AbeBooks seller since December 29, 2015

View this seller's items

Hardcover

Condition: New

US$ 152.11

US$ 74.41 shipping

Ships from France to U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for laterCreate a Want for similar items

Seller Inventory # ABE-18200973590

Contact seller about this item

Report this item

Title: Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
Author: David J. Pym; Eike Ritter
Publisher: Clarendon Press
Publication year: 2004
Condition: Neuf
Binding: Couverture rigide
Language: English
ISBN 10: 0198526334
ISBN 13: 9780198526339
Series: Book 5 of 11: Oxford Logic Guides

ECOSPHERE

Champs sur marne, France

5-star seller

AbeBooks seller since December 29, 2015

Shipping rates from France to U.S.A.

Item	7 to 15 business days	7 to 15 business days
First item	US$ 74.41	US$ 74.41

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.