Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

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

by David J. Pym , Eike Ritter
Save 17% Save 17%
Current price ₹24,248.00
Original price ₹29,098.00
Original price ₹29,098.00
Original price ₹29,098.00
(-17%)
₹24,248.00
Current price ₹24,248.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Hardcover
  • ISBN13: 9780198526339
  • Binding: Hardcover
  • Subject: N/A
  • Publisher: OUP Oxford
  • Publisher Imprint: OUP Oxford
  • Publication Date:
  • Pages: 232
  • Original Price: USD 225.0
  • Language: English
  • Edition: N/A
  • Item Weight: 504 grams
  • BISAC Subject(s): Logic

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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us