Mohlo by se vám také líbit

Více informací o knize Mathematical Formulae

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

Nákupem získáte 106 bodů

Anotace knihy

This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter B. Andrews' logic Q0. The syntactic features provided by R0 are type variables (polymorphic type theory), the binding of type variables with the abstraction operator and single variable binder (type abstraction), and (some of) the means necessary for dependent types (dependent type theory). For more information, please visit: http://doi.org/10.4444/100.10

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Mathematical Formulae
• Autor: Ken Kubota
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 828
• EAN: 9783943334074
• ISBN: 3943334074
• ID: 16048876
• Nakladatelství: Owl of Minerva Press
• Hmotnost: 1950 g
• Rozměry: 297 × 210 × 42 mm
• Datum vydání: 15. March 2017

Oblíbené z jiného soudku

---

---

---