Mathematical Logic and Theoretical Computer Science

Kueker, David | Autoři

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.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

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.

8 906 Kč

Nepřehlédněte od Taylor & Francis Inc

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!