Pastāsti draugiem par šo preci:
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science Johan Georg Granstrom 2011 edition
Cena
€ 142,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 22. - 30. okt.
Saņemiet paziņojumus par jauniem Johan Georg Granstrom izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science
Johan Georg Granstrom
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.
198 pages, 8 black & white tables, biography
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Hardcover Book) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-hardcover-book&class=scaled&v=1605099239)
