Tell your friends about this item:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library Johan Van Benthem
Price
Íkr 23,209
excl. VAT
Ordered from remote warehouse
Expected delivery Jul 24 - Aug 7
Get notified about new Johan Van Benthem releases
Our customers say:
Add to your iMusic wish list
Also available as:
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
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | April 7, 2011 |
| ISBN13 | 9789400700796 |
| Publishers | Springer |
| Pages | 372 |
| Dimensions | 246 × 160 × 27 mm · 725 g |
| Editor | Gupta, Amitabha |
| Editor | Parikh, Rohit |
| Editor | Van Benthem, Johan |
More by Johan Van Benthem
Show all![Cover for Johan Van Benthem · The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today - Logic, Epistemology, and the Unity of Science (Hardcover Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/114/9781402050114.jpg?johan-van-benthem-2006-the-age-of-alternative-logics-assessing-philosophy-of-logic-and-mathematics-today-logic-epistemology-and-the-unity-of-science-hardcover-book&class=scaled&v=1479661256)
![Cover for Johan Van Benthem · The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse - Synthese Library (Hardcover Book) [2nd rev. ed. 1991 edition] (1991)](https://imusic.b-cdn.net/images/item/original/815/9780792310815.jpg?johan-van-benthem-1991-the-logic-of-time-a-model-theoretic-investigation-into-the-varieties-of-temporal-ontology-and-temporal-discourse-synthese-library-hardcover-book&class=scaled&v=1547313963)
More from the same publisher
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
See all of Johan Van Benthem ( e.g. Paperback Book , Hardcover Book and Book )