Skip to main content
PBS logo
 
 

Search - Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
Proof Theory Sequent Calculi and Related Formalisms - Discrete Mathematics and Its Applications
Author: Katalin Bimbo
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 calc...  more »
ISBN-13: 9781466564664
ISBN-10: 1466564660
Publication Date: 8/20/2014
Pages: 386
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Chapman and Hall/CRC
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.