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

By:

Sign Up Now! Already a Member? Log In
You must be logged into Bookshare to access this title. Learn about membership options, or view our freely available titles.

Synopsis
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
Copyright:
2014

Book Details

Book Quality:
Publisher Quality
ISBN-13:
9781040058978
Related ISBNs:
9781466564688, 9780429099694, 9781466564664
Publisher:
CRC Press
Date of Addition:
Copyrighted By:
Taylor & Francis Group, LLC
Adult content:
No
Language:
English
Has Image Descriptions:
No
Categories:
Nonfiction, Mathematics and Statistics
Submitted By:
Bookshare Staff
Usage Restrictions:
This is a copyrighted book.

Reviews

No Rating Yet