Zobacz książki o podobnej tematyce

Więcej informacji o Proof, Computation and Agency

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 446 punkty

Opis

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.§

Szczegóły książki

Kategoria Książki po angielsku Humanities Philosophy Non-Western philosophy

• Pełny tytuł: Proof, Computation and Agency
• Podtytuł: Logic at the Crossroads
• Autor: Johan Van Benthem, Amitabha Gupta, Rohit Parikh
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 372
• EAN: 9789400735811
• ISBN: 9400735812
• ID: 05323054
• Wydawca: Springer
• Waga: 605 g
• Wymiary: 22 × 157 × 21 mm
• Data wydania: 28. May 2013

Ulubione w innej kategorii

---

---

---