Alonzo Church
8 Publications
Visions of Henkin
2015
Synthese 192 (7)
Is Church's picture of Frege a good one?
2014
Philosophia Scientiae 18 (3)
The Church–Fitch knowability paradox in the light of structural proof theory
2013
Synthese 190 (14)
Reflections on the categorical foundations of mathematics
2011
in: Foundational theories of classical and constructive mathematics, Berlin,
Kripke's paradox and the Church–Turing thesis
2008
Synthese 160 (2)
Computationalism, the Church–Turing thesis, and the Church–Turing fallacy
2007
Synthese 154 (1)
Alonzo Church, The calculi of lambda-conversion
1946
Revue philosophique de Louvain 44 (1)
Alonzo Church, Introduction to Mathematical Logic Part I
1946
Revue philosophique de Louvain 44 (1)
8 Publications