proof, computation and agency: logic at the crossroads (en Inglés)

van benthem, johan · springer