Ebooks de Rohit Parikh en EPUB

1 Livre(s)
Télécharger le livre : Proof, Computation and Agency
Ajouter à ma liste d'envies
Proof, Computation and Agency
Johan Van Benthem , Amitabha Gupta , Rohit Parikh
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...

Editeur : Springer
Parution : 2011-04-02
Collection : Synthese Library
ePub

148,39 €