Zobacz książki o podobnej tematyce

Więcej informacji o Treatise on Intuitionistic Type Theory

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 381 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Mathematics & science Mathematics Calculus & mathematical analysis

• Pełny tytuł: Treatise on Intuitionistic Type Theory
• Autor: Johan Georg Granström
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 212
• EAN: 9789400736399
• ISBN: 9400736398
• ID: 02076085
• Wydawca: Springer
• Waga: 305 g
• Wymiary: 234 × 156 × 12 mm
• Data wydania: 03. August 2013

Ulubione w innej kategorii

---

---

---