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