PaoloMancosu,SergioGalvan,RichardZach
Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
YOU SAVE £2.90
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £3.89. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Format: Paperback / softback
Length: 432 pages
Publication date: 17 August 2021
Publisher: Oxford University Press
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
Weight: 662g
Dimension: 157 x 233 x 26 (mm)
ISBN-13: 9780192895943
UK and International shipping information
UK and International shipping information
We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.
