Proof, Computation and Agency by Johan Van Benthem | Menrva Books | MenrvaBooks