Proof Theory : Sequent Calculi and Related Formalisms PDF
by Katalin (University of Alberta, Edmonton, Canada) Bimbo
Part of the Discrete Mathematics and Its Applications series
Description
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
Information
-
Download - Immediately Available
- Format:PDF
- Pages:386 pages
- Publisher:Taylor & Francis Inc
- Publication Date:20/08/2014
- Category:
- ISBN:9781466564688
Information
-
Download - Immediately Available
- Format:PDF
- Pages:386 pages
- Publisher:Taylor & Francis Inc
- Publication Date:20/08/2014
- Category:
- ISBN:9781466564688