Alberto Naibo (naibo-a)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Dean, Walter and Naibo, Alberto. 2024. “Recursive Functions.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2024/entries/recursive-functions/.
Guerrieri, Giulio and Naibo, Alberto. 2020. “The Problem of Harmony in Classical Logic.” in The Logica Yearbook 2019, edited by Igor Sedlár and Martin Blicha, pp. 49–66. London: College Publications.
Maffezioli, Paolo, Naibo, Alberto and Negri, Sara. 2013. “The Church-Fitch Knowability Paradox in the Light of Structural Proof Theory.” Synthese 190(14): 2677–2716.