Proof, Computation and Agency - van Benthem, Johan; Benthem, J. F. A. K. van; Benthem, Johannes Franciscus Abraham Karel; Gupta, Amitabha; Parikh, Rohit (Springer Netherlands, 2011)