Proof, Computation and Agency - van Benthem, Johan (Springer Netherlands, 2011)