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

by JohanvanBenthem (Editor), Amitabha Gupta (Editor), RohitParikh (Editor)

New
Hardcover
2011
$235.00

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.

Synopsis

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.

$235.00

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 424
Edition: 1st Edition.
Publisher: Springer
Published: 07 Apr 2011
ISBN 10: 9400700792
ISBN 13: 9789400700796

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

New

$235.00

Synopsis

$235.00

More Information