Proof, Computation and Agency: Logic at the Crossroads - Synthese Library - Johan Van Benthem - Książki - Springer - 9789400700796 - 7 kwietnia 2011
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Johan Van Benthem

Cena
zł 787,90

Zamówione z odległego magazynu

Przewidywana dostawa 23 gru - 2 sty 2025
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 7 kwietnia 2011
ISBN13 9789400700796
Wydawcy Springer
Strony 372
Wymiary 246 × 160 × 27 mm   ·   725 g
Redaktor Gupta, Amitabha
Redaktor Parikh, Rohit
Redaktor Van Benthem, Johan

Pokaż wszystko

Więcej od Johan Van Benthem