Mohlo by se vám také líbit

Více informací o knize Proof, Computation and Agency

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

Nákupem získáte 509 bodů

Anotace knihy

This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.§

Parametry knihy

Zařazení knihy Knihy v angličtině Humanities Philosophy Non-Western philosophy

• Plný název: Proof, Computation and Agency
• Podnázev: Logic at the Crossroads
• Autor: Johan Van Benthem, Amitabha Gupta, Rohit Parikh
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 372
• EAN: 9789400735811
• ISBN: 9400735812
• ID: 05323054
• Nakladatelství: Springer
• Hmotnost: 605 g
• Rozměry: 22 × 157 × 21 mm
• Datum vydání: 28. May 2013

Oblíbené z jiného soudku

---

---

---