Proof, Computation and Agency

Name: Proof, Computation and Agency
Brand: Springer
SKU: 9789400735811
Price: 149.39 EUR
Availability: InStock

Logic at the Crossroads

Autor: Johan Van Benthem, Amitabha Gupta, Rohit Parikh

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

149.39 €

This overview of modern logic and its relationship with other disciplines includes several articles...

Informácie o knihe

Autor

Johan Van Benthem, Amitabha Gupta, Rohit Parikh

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2013

Stránok

372

EAN

9789400735811

ISBN

9400735812

Enbook ID

05323054

Vydavateľ

Springer

Hmotnosť

605

Rozmery

157 x 22 x 21

Kompletný popis

This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.§

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Proof, Computation and Agency

Logic at the Crossroads

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež