Introduction to Proof Theory : Normalization, Cut-elimination, and Consistency Proofs

Mancosu, Paolo; Galvan, Sergio; Zach, Richard

ISBN 10: 019289594X ISBN 13: 9780192895943
Published by Oxford University Press, 2021
Language: English
Used Condition: As New Soft cover

From GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since 28 January 2020

View this seller's items


Used - Soft cover

Price: £ 35.46 Convert Currency
£ 15 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: 11 available

Add to basket