On the computational meaning of axioms

2016

Alberto Naibo, Mattia Petrolo, Thomas Seiller

in: Epistemology, knowledge and the impact of interaction, Berlin,