Proof, Computation and Agency: Logic at the Crossroads - Synthese Library - Johan Van Benthem - Bücher - Springer - 9789400700796 - 7. April 2011
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Proof, Computation and Agency: Logic at the Crossroads - Synthese Library

Johan Van Benthem

Preis
Fr. 162,49

Bestellware

Lieferdatum: ca. 23. Dez - 2. Jan 2025
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

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