Mohlo by sa vám tiež páčiť

Viac informácií o knihe Categorical Logic and Type Theory

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 411 bodov

Anotácia knihy

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Categorical Logic and Type Theory
• Autor: B. Jacobs
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 778
• EAN: 9780444508539
• ISBN: 0444508538
• ID: 04079613
• Nakladateľ: Elsevier Science & Technology
• Hmotnosť: 1242 g
• Rozmery: 242 × 167 × 46 mm
• Dátum vydania: 10. May 2001

Obľúbené z iného súdka

---

---

---