New Arrivals/Restock

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications Book 85)

flash sale iconLimited Time Sale
Until the end
03
15
54

$39.31 cheaper than the new price!!

Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
New  $65.52
quantity

Product details

Management number 231815671 Release Date 2026/06/18 List Price $26.21 Model Number 231815671
Category

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi Read more

ASIN B00OD426RE
XRay Not Enabled
Format Print Replica
ISBN13 978-1466564688
Edition 1st
Language English
File size 22.4 MB
Page Flip Not Enabled
Publisher Chapman and Hall/CRC
Word Wise Not Enabled
Print length 386 pages
Accessibility Learn more
Publication date August 20, 2014
Enhanced typesetting Not Enabled

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Product Review

You must be logged in to post a review