Proof, Computation and Agency : Logic at the Crossroads - Johan van Benthem, Amitabha Gupta, Rohit Parikh ((Synthese Library))