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

Viac informácií o knihe Proof, Computation and Agency

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

Nákupom získate 530 bodov

Anotácia 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.§

Parametre knihy

Zaradenie knihy Knihy po anglicky Humanities Philosophy Non-Western philosophy

• Celý názov: Proof, Computation and Agency
• Podnázov: Logic at the Crossroads
• Autor: Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 372
• EAN: 9789400700796
• ISBN: 9400700792
• ID: 05322970
• Nakladateľ: Springer
• Hmotnosť: 734 g
• Rozmery: 160 × 246 × 27 mm
• Dátum vydania: 07. April 2011

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

---

---

---