Faites connaître cet article à vos amis:
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
Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
Validé | 29 mai 2013 |
ISBN13 | 9789400735811 |
Éditeurs | Springer |
Pages | 372 |
Dimensions | 155 × 235 × 20 mm · 553 g |
Éditeur | Gupta, Amitabha |
Éditeur | Parikh, Rohit |
Éditeur | Van Benthem, Johan |
Afficher tout
Plus par Johan Van Benthem
Voir tous les Johan Van Benthem ( par ex. Paperback Book et Hardcover Book )