Methods of Cut-Elimination
Publisher: Springer; Matthias Baaz
Published: Feb 24, 2013
Format: paperback
Number of pages: 296
ISBN-13: 9789400734975
Notes: Source title: Methods of Cut-Elimination (Trends in Logic)