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

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

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

$130.71

Save:$11.97 (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