Proof, Computation and Agency

Name: Proof, Computation and Agency
Brand: Springer
SKU: 9789400700796
Price: 178.43 EUR
Availability: InStock

Logic at the Crossroads

Автор: Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem

Език:

Корици: С твърди корици

Издател: Springer

Наличност: Външен склад в ограничено количество

Изпращаме след 11-15 дни

178.43 € 348.98 лв

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

Информация за книгата

Автор

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

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2011

страници

372

EAN

9789400700796

ISBN

9400700792

Enbook ID

05322970

Издател

Springer

Теглоt

734

Размери

246 x 160 x 27

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Proof, Computation and Agency

Logic at the Crossroads

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също