phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Treatise on Intuitionistic Type Theory

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Treatise on Intuitionistic Type Theory Johan G. Granström
Libristo kód: 01978897
Nakladateľstvo Springer, jún 2011
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a uni...
? points 440 b
175.42 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

TOP
Where Mathematics Come From Rafael Nunez / Brožovaná
common.buy 34.41 €
TOP
Metamathematics of Fuzzy Logic Petr Hájek / Pevná
common.buy 240.62 €
Endless Forms Most Beautiful Sean Carroll / Brožovaná
common.buy 13.31 €
Philosophy In The Flesh George Lakoff / Brožovaná
common.buy 34.61 €
Constructivism in Mathematics Troelstra / Brožovaná
common.buy 61.86 €
Fuzzy Logic and Mathematics Radim Belohlavek / Pevná
common.buy 144.73 €
Der Phoenix hebt ab Tanja Biallas / Pevná
common.buy 25.93 €
King's Body Nicole Marafioti / Pevná
common.buy 95.17 €
Germaroon George Atanga / Brožovaná
common.buy 17.35 €
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 / Brožovaná
common.buy 66.81 €

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ácie o knihe

Celý názov Treatise on Intuitionistic Type Theory
Autor Johan G. Granström
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2011
Počet strán 212
EAN 9789400717350
ISBN 9400717350
Libristo kód 01978897
Nakladateľstvo Springer
Váha 485
Rozmery 156 x 234 x 12

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Matematika a veda > Matematika > Diferenciálny a integrálny počet a matematická analýza > Numerická analýza
Filozofia a náboženstvo > Filozofia > Filozofické témy > Filozofia: epistemológia a teória poznania
Filozofia a náboženstvo > Filozofia > Filozofické témy > Filozofia: logika
Filozofia a náboženstvo > Filozofia > História filozofie, filozofické tradície
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet