An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs - Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley) - Books - Oxford University Press - 9780192895943 - August 17, 2021
In case cover and title do not match, the title is correct

Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley)
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Price
$ 45.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 24 - 27
Get notified about new Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

432 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 17, 2021
ISBN13 9780192895943
Publishers Oxford University Press
Pages 432
Dimensions 233 × 157 × 26 mm   ·   654 g
Language English  

More from the same publisher

See all of Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley) ( e.g. Paperback Book and Hardcover Book )