Proof Theory

Proof Theory

EnglishEbook
Bimbo, Katalin
CRC Press
EAN: 9781466564688
Available online
€93.49
Common price €103.88
Discount 10%
pc

Detailed information

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
EAN 9781466564688
ISBN 1466564687
Binding Ebook
Publisher CRC Press
Publication date August 20, 2014
Pages 386
Language English
Country Uruguay
Authors Bimbo, Katalin
Series Discrete Mathematics and Its Applications