An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs, Paperback - ***

Detalii:

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 readers understanding.Publisher: Oxford University PressAuthor(s): Richard (Professor of Philosophy, Professor of Philosophy, University of Calgary) ZachNumber of pages: 432Publication date: 2021Dimensions: 157 x 233 x 26Cover type: Paperback / softback

Preț:

223.99 ^RON

---

Alte detalii:

Vânzător: Elefant.ro
Brand: Oxford University Press