Freunden von diesem Artikel berichten:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library
Johan Van Benthem
Preis
Fr. 163,49
Bestellware
Lieferdatum: ca. 6. - 17. Dez
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
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
Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
Erscheinungsdatum | 7. April 2011 |
ISBN13 | 9789400700796 |
Verlag | Springer |
Seitenanzahl | 372 |
Maße | 246 × 160 × 27 mm · 725 g |
Redakteur | Gupta, Amitabha |
Redakteur | Parikh, Rohit |
Redakteur | Van Benthem, Johan |
Alle anzeigen
Weitere Titel von Johan Van Benthem
Alle Titel von Johan Van Benthem ansehen ( u. a. Taschenbuch und Gebundenes Buch )