An 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 Univ Pr, 2021
Language: English
New
Condition: Brand New
Soft cover
From Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 6 January 2003
New - Soft cover
Price:
£ 54.37
Convert Currency
£ 10
shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Quantity: 2 available
Add to basket
