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

★★★★★ 4.4 80 reviews

US$26.21
Price when purchased online
Free shipping Free 30-day returns

Sold and shipped by raumausstattung-schmuck.de
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$26.21
Price when purchased online
Free shipping Free 30-day returns

How do you want your item?
You get 30 days free! Choose a plan at checkout.
Shipping
Arrives Jul 10
Free
Pickup
Check nearby
Delivery
Not available

Sold and shipped by raumausstattung-schmuck.de
Free 30-day returns Details

Product details

Management number 231815671 Release Date 2026/06/18 List Price US$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

Customer ratings & reviews

4.4 out of 5
★★★★★
80 ratings | 33 reviews
How item rating is calculated
View all reviews
5 stars
81% (65)
4 stars
5% (4)
3 stars
2% (2)
2 stars
1% (1)
1 star
11% (9)
Sort by

There are currently no written reviews for this product.