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

Mancosu, Paolo; Galvan, Sergio; Zach, Richard

ISBN 10: 0192895931 ISBN 13: 9780192895936
Published by Oxford University Press, 2021
Language: English
New Condition: New Hardcover

From Lucky's Textbooks, Dallas, TX, U.S.A.

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

AbeBooks Seller since 22 July 2022

View this seller's items


New - Hardcover

Price: £ 111.85 Convert Currency
£ 2.99 shipping within U.S.A. Destination, rates & speeds

Quantity: Over 20 available

Add to basket