phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Treatise on Intuitionistic Type Theory

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Treatise on Intuitionistic Type Theory Johan G. Granström
Libristo kód: 01978897
Kiadó Springer, június 2011
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a uni...
? points 440 b
69 637 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Endless Forms Most Beautiful Sean Carroll / Puha kötésű
common.buy 6 012 Ft
Der Phoenix hebt ab Tanja Biallas / Kemény kötésű
common.buy 10 302 Ft
King's Body Nicole Marafioti / Kemény kötésű
common.buy 31 027 Ft
Category Theory, Homology Theory and Their Applications. Proceedings of the Conference Held at the Seattle Research Center of the Battelle Memorial In P.J. Hilton / Puha kötésű
common.buy 26 535 Ft
Germaroon George Atanga / Puha kötésű
common.buy 6 914 Ft

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

Információ a könyvről

Teljes megnevezés Treatise on Intuitionistic Type Theory
Szerző Johan G. Granström
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2011
Oldalszám 212
EAN 9789400717350
ISBN 9400717350
Libristo kód 01978897
Kiadó Springer
Súly 485
Méretek 156 x 234 x 12

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Matematika és természettudomány > Matematika > Kalkulus és matematikai analízis > Numerikus analízis
Filozófia és vallás > Filozófia > Témák a filozófiában > Filozófia: episztemológia és tudáselmélet
Filozófia és vallás > Filozófia > Témák a filozófiában > Filozófia: logika
Filozófia és vallás > Filozófia > Filozófiatörténet, filozófiai hagyományok
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása