Proof, Computation and Agency

Name: Proof, Computation and Agency
Brand: Springer
SKU: 9789400700796
Price: 62043 HUF
Availability: InStock

Logic at the Crossroads

Szerző: Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

62 043 Ft

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

Információk a könyvről

Szerző

Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2011

oldal

372

EAN

9789400700796

ISBN

9400700792

Enbook ID

05322970

Kiadó

Springer

Súly

734

Méretek

246 x 160 x 27

Teljes leírás

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.§

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Proof, Computation and Agency

Logic at the Crossroads

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták