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 Press Author(s): Richard (Professor of Philosophy, Professor of Philosophy, University of Calgary) Zach Number of pages: 432 Publication date: 2021 Dimensions: 157 x 233 x 26 Cover type: Paperback / softback

Preț:

223.99 ^RON

---

Alte detalii:

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