Proof, Computation and Agency: Logic at the Crossroads - Synthese Library - Johan Van Benthem - Kirjat - Springer - 9789400700796 - torstai 7. huhtikuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Johan Van Benthem

Hinta
€ 193,99

Tilattu etävarastosta

Arvioitu toimitus to 19. joulu - ke 1. tammi 2025
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi

Löytyy myös muodossa:

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

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 7. huhtikuuta 2011
ISBN13 9789400700796
Tuottaja Springer
Sivujen määrä 372
Mitta 246 × 160 × 27 mm   ·   725 g
Toimittaja Gupta, Amitabha
Toimittaja Parikh, Rohit
Toimittaja Van Benthem, Johan

Näytä kaikki

Lisää tuotteita Johan Van Benthem