with Naibo, A. , Seiller, T. , 2016, On the computational meaning of axioms, in J. Redmond, O. Martins & �. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, pp. 141-184.