![Proof, Computation and Agency: Logic at the Crossroads - Synthese Library - Johan Van Benthem - Kirjat - Springer - 9789400735811 - keskiviikko 29. toukokuuta 2013](https://imusic.b-cdn.net/images/item/original/811/9789400735811.jpg?johan-van-benthem-2013-proof-computation-and-agency-logic-at-the-crossroads-synthese-library-paperback-book&class=scaled&v=1547313962)
Vinkkaa tuotetta kavereillesi:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library 2011 edition
Johan Van Benthem
Hinta
€ 188,99
Tilattu etävarastosta
Arvioitu toimitus ma - to 15. - 25. heinä
Lisää iMusic-toivelistallesi
Löytyy myös muodossa:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library 2011 edition
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | keskiviikko 29. toukokuuta 2013 |
ISBN13 | 9789400735811 |
Tuottaja | Springer |
Sivujen määrä | 372 |
Mitta | 155 × 235 × 20 mm · 553 g |
Toimittaja | Gupta, Amitabha |
Toimittaja | Parikh, Rohit |
Toimittaja | Van Benthem, Johan |
Näytä kaikki
Lisää tuotteita Johan Van Benthem
Katso kaikki joka sisältää Johan Van Benthem ( Esim. Paperback Book Ja Hardcover Book )