phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Treatise on Intuitionistic Type Theory

Język AngielskiAngielski
Książka Twarda
Książka Treatise on Intuitionistic Type Theory Johan G. Granström
Kod Libristo: 01978897
Wydawnictwo Springer, czerwiec 2011
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a uni...
? points 440 b
747.45 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Where Mathematics Come From Rafael Nunez / Miękka
common.buy 151.28 zł
TOP
Metamathematics of Fuzzy Logic Petr Hájek / Twarda
common.buy 1 025.10 zł
Endless Forms Most Beautiful Sean Carroll / Miękka
common.buy 60.53 zł
Philosophy In The Flesh George Lakoff / Miękka
common.buy 141.70 zł
Constructivism in Mathematics Troelstra / Miękka
common.buy 263.77 zł
Fuzzy Logic and Mathematics Radim Belohlavek / Twarda
common.buy 616.71 zł
Der Phoenix hebt ab Tanja Biallas / Twarda
common.buy 104.51 zł
King's Body Nicole Marafioti / Twarda
common.buy 405.48 zł
Germaroon George Atanga / Miękka
common.buy 69.50 zł
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 / Miękka
common.buy 284.61 zł

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.

Informacje o książce

Pełna nazwa Treatise on Intuitionistic Type Theory
Autor Johan G. Granström
Język Angielski
Oprawa Książka - Twarda
Data wydania 2011
Liczba stron 212
EAN 9789400717350
ISBN 9400717350
Kod Libristo 01978897
Wydawnictwo Springer
Waga 485
Wymiary 156 x 234 x 12

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Matematyka i nauki ścisłe > Matematyka > Rachunek różniczkowy i całkowy, analiza matematyczna > Analiza numeryczna
Filozofia i religia > Filozofia > Działy filozofii > Epistemologia i teoria poznania
Filozofia i religia > Filozofia > Działy filozofii > Logika (filozofia)
Filozofia i religia > Filozofia > Historia filozofii, tradycje filozoficzne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo