Logic at the Crossroads (set) Proof, Computation and Agency Games, Norms and Reasons Gupta Amitabha Annet / 2012 / Engelsk