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

Mancosu, Paolo

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

From Russell Books, Victoria, BC, Canada

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

Heritage Bookseller
AbeBooks member since 1996

View this seller's items


New - Soft cover

Price: £ 43.81 Convert Currency
£ 29.86 shipping from Canada to United Kingdom Destination, rates & speeds

Quantity: 2 available

Add to basket