Introduction to Higher-Order Categorical Logic
Vše od
Cambridge University Press
ISBN: 9780521356534
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are...
1 938 Kč
- 1 - 2 ks
- 1 938 Kč
- 3 - 10 ks
- 1 919 Kč
- 11 a více ks
- 1 900 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 Cambridge University Press ↓
1 938 Kč
Více o produktu ↓
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.
- Výrobce
- Cambridge University Press
- Jazyk
- United Kingdom
- Autor
- Lambek, J.;Scott, P. J.
- Rozměry
- 164 x 229 x 20
- Rok vydání
- 1988
- Počet stran
- 304
- Obsah
- Paperback / softback
- Hmotnost
- 462
- Počet stran
- 304 pages, Worked examples or Exercises
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Introduction to Higher-Order Categorical Logic 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!
