Methods of Cut-Elimination
Publisher: Springer
Published: Apr 08, 2011
Format: paperback
Number of pages: 296
ISBN-13: 9789400703216