Tipsa dina vänner om produkten:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library Johan Van Benthem 2011 edition
Pris
SEK 1.579
Beställningsvara
Förväntad leverans 5 - 9 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Finns även som:
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.
372 pages, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 29 maj 2013 |
| ISBN13 | 9789400735811 |
| Utgivare | Springer |
| Antal sidor | 372 |
| Mått | 155 × 235 × 20 mm · 553 g |
| Redaktör | Gupta, Amitabha |
| Redaktör | Parikh, Rohit |
| Redaktör | Van Benthem, Johan |
Fler produkter med Johan Van Benthem
Visa allaSe alt med Johan Van Benthem ( t.ex. Pocketbok och Inbunden Bok )