Skip to content
Scan a barcode
Scan
Hardcover Proof Theory: Sequent Calculi and Related Formalisms Book

ISBN: 1466564660

ISBN13: 9781466564664

Proof Theory: Sequent Calculi and Related Formalisms

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 for various non-classical logics, from intuitionistic logic to relevance logic,...

Recommended

Format: Hardcover

Condition: New

$140.00
50 Available
Ships within 2-3 days

Related Subjects

Math Mathematics Science & Math

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured