Alberto Naibo
editions X
4 Publications
On the computational meaning of axioms
2016
in: Epistemology, knowledge and the impact of interaction, Berlin,
Putnam-Dummett
Quelle logique pour quel réalisme?
2016
Archives de philosophie 79 (4)
The Church–Fitch knowability paradox in the light of structural proof theory
2013
Synthese 190 (14)
4 Publications