Basic Proof Theory
Vše od
Cambridge University Press
ISBN: 9780521779111
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
1 531 Kč
- 1 - 2 ks
- 1 531 Kč
- 3 - 10 ks
- 1 516 Kč
- 11 a více ks
- 1 501 Kč
Předpoklad doručení do 12. 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 Cambridge University Press ↓
1 531 Kč
Více o produktu ↓
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
- Výrobce
- Cambridge University Press
- Jazyk
- United Kingdom
- Autor
- Troelstra, A. S. (Universiteit van Amsterdam);Schwichtenberg, H. (Universitat Munchen)
- Rozměry
- 229 x 153 x 26
- Rok vydání
- 2000
- Počet stran
- 432
- Obsah
- Paperback / softback
- Hmotnost
- 642
- Počet stran
- 432 pages, Worked examples or Exercises; 3 Line drawings, unspecified
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Basic 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!
