Alberto Naibo
in English
XOn the computational meaning of axioms
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
2015
in: From logic to practice, Dordrecht : Springer
The Church–Fitch knowability paradox in the light of structural proof theory
2013
Synthese 190/14