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

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

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

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.

$232.38

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