Mohlo by se vám také líbit

Více informací o knize Higher-Order Logic and Type Theory

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

Nákupem získáte 59 bodů

Anotace knihy

The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.

Parametry knihy

• Plný název: Higher-Order Logic and Type Theory
• Autor: John L. Bell
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 75
• EAN: 9781108986908
• ISBN: 1108986900
• ID: 38621442
• Nakladatelství: Cambridge University Press
• Hmotnost: 142 g
• Rozměry: 152 × 228 × 8 mm
• Datum vydání: 31. March 2022

Oblíbené z jiného soudku

---

---

---