The book is currently out of stock
Proof, Computation and Agency
Authors
More about the book
"Proof, Computation and Agency: Logic at the Crossroads" explores modern logic's interplay with various fields. It features articles on 'social software', game theory, and social choice, alongside discussions on the logic-language-cognition link. Additionally, it examines Indian logic's ties to epistemology and the philosophy of science.
Book variant
2011, hardcoverBook purchase
The book is currently out of stock.