An Introduction To Proof Theory: Normalization, Cut-Elimination, And Consistency Proofs
Oxford University Press
$28.81
(No reviews yet)
Write a Review
Oxford University Press
An Introduction To Proof Theory: Normalization, Cut-Elimination, And Consistency Proofs
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.
- | By (Author): Paolo (Willis S. And Marion Slusser Professor Of Philosophy, Willis S. And Marion Slusser Professor Of Philosophy, University Of California At Berkeley) Mancosu
- | Publisher: Oxford University Press
- | Publication Date: Aug 17, 2021
- | Country of Publication: United Kingdom
- | Number of Pages: 432 pages
- | Language: Unknown
- | Binding: Softback
- | ISBN-10: 019289594X
- | ISBN-13: 9780192895943
- By (Author):
- Paolo (Willis S. And Marion Slusser Professor Of Philosophy, Willis S. And Marion Slusser Professor Of Philosophy, University Of California At Berkeley) Mancosu
- Publisher:
- Oxford University Press
- Publication Date:
- Aug 17, 2021
- Country of Publication:
- United Kingdom
- Language:
- Unknown
- Number of pages:
- 432 pages
- Binding:
- Softback
- ISBN-10:
- 019289594X
- ISBN-13:
- 9780192895943