Fortell venner om denne varen:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library 2011 edition
Johan Van Benthem
Pris
zł 705,90
Bestillingsvarer
Forventes levert 15. - 25. okt
Legg til iMusic ønskeliste
Finnes også som:
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
Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 29. mai 2013 |
ISBN13 | 9789400735811 |
Utgivere | Springer |
Antall sider | 372 |
Mål | 155 × 235 × 20 mm · 553 g |
Redaktør | Gupta, Amitabha |
Redaktør | Parikh, Rohit |
Redaktør | Van Benthem, Johan |
Vis alle
Mer med Johan Van Benthem
Se alt med Johan Van Benthem ( f.eks. Pocketbok og Innbunden bok )