Mohlo by se vám také líbit

Více informací o knize Treatise on Intuitionistic Type Theory

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 401 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Calculus & mathematical analysis

• Plný název: Treatise on Intuitionistic Type Theory
• Autor: Johan Georg Granström
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 212
• EAN: 9789400736399
• ISBN: 9400736398
• ID: 02076085
• Nakladatelství: Springer
• Hmotnost: 305 g
• Rozměry: 234 × 156 × 12 mm
• Datum vydání: 03. August 2013

Oblíbené z jiného soudku

---

---

---