Powiedz znajomym o tym przedmiocie:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library 2011 edition
Johan Van Benthem
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 29 maja 2013 |
ISBN13 | 9789400735811 |
Wydawcy | Springer |
Strony | 372 |
Wymiary | 155 × 235 × 20 mm · 553 g |
Redaktor | Gupta, Amitabha |
Redaktor | Parikh, Rohit |
Redaktor | Van Benthem, Johan |
Pokaż wszystko
Więcej od Johan Van Benthem
Zobacz wszystko od Johan Van Benthem ( np. Paperback Book i Hardcover Book )