Johan van Benthem, Amitabha Gupta, Rohit Parikh, editors, Proof, Computation and Agency - Logic at the Crossroads. Volume 352 of Synthese library, Springer, 2011. [doi]
@book{0026706,
title = {Proof, Computation and Agency - Logic at the Crossroads},
year = {2011},
doi = {10.1007/978-94-007-0080-2},
url = {http://dx.doi.org/10.1007/978-94-007-0080-2},
researchr = {https://researchr.org/publication/0026706},
cites = {0},
citedby = {0},
editor = {Johan van Benthem and Amitabha Gupta and Rohit Parikh},
volume = {352},
series = {Synthese library},
publisher = {Springer},
isbn = {978-94-007-0079-6},
}