Mathematical Logic and Theoretical Computer Science
Vše od
Taylor & Francis Inc
ISBN: 9780824777463
This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.
8 906 Kč
- 1 - 2 ks
- 8 906 Kč
- 3 - 10 ks
- 8 818 Kč
- 11 a více ks
- 8 731 Kč
Předpoklad doručení do 28. 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 Taylor & Francis Inc ↓
8 906 Kč
Více o produktu ↓
This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.
- Výrobce
- Taylor & Francis Inc
- Jazyk
- United States
- Autor
- Kueker, David
- Rozměry
- 254 x 178
- Rok vydání
- 1986
- Počet stran
- 408
- Obsah
- Paperback / softback
- Hmotnost
- 726
- Počet stran
- 408 pages
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Mathematical Logic and Theoretical Computer Science 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!