Methods of Cut-Elimination: 34 (Trends in Logic)

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

New
Paperback
2013
$133.71

$133.71

Save:$12.25 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 296
Edition: 2011
Publisher: Springer
Published: 25 Feb 2013
ISBN 10: 9400734972
ISBN 13: 9789400734975

Methods of Cut-Elimination: 34 (Trends in Logic)

New

$133.71

$133.71

More Information