Vertel uw vrienden over dit artikel:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library Johan Van Benthem 2011 edition
Prijs
€ 144,99
Besteld in een afgelegen magazijn
Verwachte levering 31 dec. - 8 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Ook verkrijgbaar als:
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.
372 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 29 mei 2013 |
| ISBN13 | 9789400735811 |
| Uitgevers | Springer |
| Pagina's | 372 |
| Afmetingen | 155 × 235 × 20 mm · 553 g |
| Uitgever | Gupta, Amitabha |
| Uitgever | Parikh, Rohit |
| Uitgever | Van Benthem, Johan |
Meer door Johan Van Benthem
Alles tonen
![Cover for Johan Van Benthem · Games, Norms and Reasons: Logic at the Crossroads - Synthese Library (Paperback Book) [2011 edition] (2013)](https://imusic.b-cdn.net/images/item/original/774/9789400735774.jpg?johan-van-benthem-2013-games-norms-and-reasons-logic-at-the-crossroads-synthese-library-paperback-book&class=scaled&v=1436875627)
![Cover for Johan Van Benthem · The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse - Synthese Library (Paperback Book) [2nd ed. 1983 edition] (2012)](https://imusic.b-cdn.net/images/item/original/700/9789401098700.jpg?johan-van-benthem-2012-the-logic-of-time-a-model-theoretic-investigation-into-the-varieties-of-temporal-ontology-and-temporal-discourse-synthese-library-paperback-book&class=scaled&v=1403603583)
![Cover for Johan Van Benthem · The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse - Synthese Library (Paperback Book) [Softcover reprint of hardcover 2nd ed. 1991 edition] (2010)](https://imusic.b-cdn.net/images/item/original/824/9789048140824.jpg?johan-van-benthem-2010-the-logic-of-time-a-model-theoretic-investigation-into-the-varieties-of-temporal-ontology-and-temporal-discourse-synthese-library-paperback-book&class=scaled&v=1547313962)
![Cover for Johan Van Benthem · The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today - Logic, Epistemology, and the Unity of Science (Paperback Book) [1st ed. 2006. 2nd printing 2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/855/9789048124855.jpg?johan-van-benthem-2009-the-age-of-alternative-logics-assessing-philosophy-of-logic-and-mathematics-today-logic-epistemology-and-the-unity-of-science-paperback-book&class=scaled&v=1547313963)
![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)
![Cover for Johan Van Benthem · Essays in Logical Semantics - Studies in Linguistics and Philosophy (Paperback Book) [Softcover reprint of the original 1st ed. 1986 edition] (1986)](https://imusic.b-cdn.net/images/item/original/924/9789027720924.jpg?johan-van-benthem-1986-essays-in-logical-semantics-studies-in-linguistics-and-philosophy-paperback-book&class=scaled&v=1466507794)
Bekijk alles van Johan Van Benthem ( bijv. Paperback Book en Hardcover Book )