Methods of Cut-Elimination (Trends in Logic)

by Matthias Baaz (Author), Alexander Leitsch (Author)

New
Hardcover
2011
$160.67

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

Synopsis

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

$160.67

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 293
Edition: 1st Edition.
Publisher: Springer
Published: 17 Jan 2011
ISBN 10: 9400703198
ISBN 13: 9789400703193

Methods of Cut-Elimination (Trends in Logic)

New

$160.67

Synopsis

$160.67

More Information