Pastāsti draugiem par šo preci:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library Johan Van Benthem
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library
Johan Van Benthem
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.
400 pages, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2011. gada 7. aprīlis |
| ISBN13 | 9789400700796 |
| Izdevēji | Springer |
| Lapas | 372 |
| Izmēri | 246 × 160 × 27 mm · 725 g |
| Redaktors | Gupta, Amitabha |
| Redaktors | Parikh, Rohit |
| Redaktors | Van Benthem, Johan |