karl bühler digital

Home > People > Profile

ProfilePublicationsLiterature

Alonzo Church

8 Publications

Visions of Henkin

2015

Maria Manzano, Enrique Alonso

Synthese 192 (7)

Is Church's picture of Frege a good one?

2014

Zoe McConaughey

Philosophia Scientiae 18 (3)

The Church–Fitch knowability paradox in the light of structural proof theory

2013

Paolo Maffezioli, Alberto Naibo, Sara Negri

Synthese 190 (14)

Reflections on the categorical foundations of mathematics

2011

Joachim Lambek, Philip J. Scott

in: Foundational theories of classical and constructive mathematics, Berlin,

Kripke's paradox and the Church–Turing thesis

2008

Mark D. Sprevak

Synthese 160 (2)

Computationalism, the Church–Turing thesis, and the Church–Turing fallacy

2007

Gualtiero Piccinini

Synthese 154 (1)

Alonzo Church, The calculi of lambda-conversion

1946

Robert Feys

Revue philosophique de Louvain 44 (1)

Alonzo Church, Introduction to Mathematical Logic Part I

1946

Robert Feys

Revue philosophique de Louvain 44 (1)

8 Publications