Tell your friends about this item:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library
Johan Van Benthem
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 |
Show all
More by Johan Van Benthem
See all of Johan Van Benthem ( e.g. Paperback Book and Hardcover Book )