Vinkkaa tuotetta kavereillesi:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library
Johan Van Benthem
Hinta
€ 193,99
Tilattu etävarastosta
Arvioitu toimitus to 19. joulu - ke 1. tammi 2025
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
Löytyy myös muodossa:
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 | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
Julkaisupäivämäärä | torstai 7. huhtikuuta 2011 |
ISBN13 | 9789400700796 |
Tuottaja | Springer |
Sivujen määrä | 372 |
Mitta | 246 × 160 × 27 mm · 725 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 )