Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Vše od
Oxford University Press
ISBN: 9780192895943
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.
969 Kč
- 1 - 2 ks
- 969 Kč
- 3 - 10 ks
- 959 Kč
- 11 a více ks
- 950 Kč
Předpoklad doručení do 27. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Oxford University Press ↓
969 Kč
Více o produktu ↓
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.
- Výrobce
- Oxford University Press
- Jazyk
- United Kingdom
- Autor
- Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley);Galvan, Sergio (Emeritus Professor of Logic, Emeritus Professor of Logic, Catholic University
- Rozměry
- 157 x 233 x 26
- Rok vydání
- 2021
- Počet stran
- 432
- Obsah
- Paperback / softback
- Hmotnost
- 672
- Počet stran
- 432 pages
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Introduction to Proof Theory a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
