![PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5460132 PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5460132](https://image3.slideserve.com/5460132/alonzo-church-mathematician-philosopher-computer-scientist-l.jpg)
PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5460132
![PDF) The Church–Turing Thesis—Logical Limit or Breachable Barrier? (with Jack Copeland) | Oron Shagrir - Academia.edu PDF) The Church–Turing Thesis—Logical Limit or Breachable Barrier? (with Jack Copeland) | Oron Shagrir - Academia.edu](https://0.academia-photos.com/attachment_thumbnails/61738922/mini_magick20200110-27665-oofgz5.png?1578655138)
PDF) The Church–Turing Thesis—Logical Limit or Breachable Barrier? (with Jack Copeland) | Oron Shagrir - Academia.edu
![Amazon.com: Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305): 9781402001413: Anderson, C. Anthony, Zelëny, Michael: Books Amazon.com: Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305): 9781402001413: Anderson, C. Anthony, Zelëny, Michael: Books](https://m.media-amazon.com/images/I/51k0PPW1qDL._AC_UF1000,1000_QL80_.jpg)
Amazon.com: Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305): 9781402001413: Anderson, C. Anthony, Zelëny, Michael: Books
![The Collected Works of Alonzo Church (Mit Press): Burge, Tyler, Enderton, Herbert: 9780262025645: Amazon.com: Books The Collected Works of Alonzo Church (Mit Press): Burge, Tyler, Enderton, Herbert: 9780262025645: Amazon.com: Books](https://m.media-amazon.com/images/I/61xOgrMej7L._AC_UF350,350_QL50_.jpg)
The Collected Works of Alonzo Church (Mit Press): Burge, Tyler, Enderton, Herbert: 9780262025645: Amazon.com: Books
![Lambda calculus: Currying, Knights of the Lambda Calculus, Combinatory logic, Fixed point combinator, Church-Rosser theorem, Anonymous function | Amazon.com.br Lambda calculus: Currying, Knights of the Lambda Calculus, Combinatory logic, Fixed point combinator, Church-Rosser theorem, Anonymous function | Amazon.com.br](https://m.media-amazon.com/images/I/5139GXRI4dL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Lambda calculus: Currying, Knights of the Lambda Calculus, Combinatory logic, Fixed point combinator, Church-Rosser theorem, Anonymous function | Amazon.com.br
![Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton1941, 77 pp. | The Journal of Symbolic Logic | Cambridge Core Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton1941, 77 pp. | The Journal of Symbolic Logic | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200106462/resource/name/firstPage-S0022481200106462a.jpg)
Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton1941, 77 pp. | The Journal of Symbolic Logic | Cambridge Core
![A Note of the Entscheidungsproblem,' pp. 40-41 in The Journal of Symbolic Logic, Vol. 1, No. 1, March 1936 | Alonzo CHURCH | First edition A Note of the Entscheidungsproblem,' pp. 40-41 in The Journal of Symbolic Logic, Vol. 1, No. 1, March 1936 | Alonzo CHURCH | First edition](https://sophiararebooks.cdn.bibliopolis.com/pictures/5483.jpg?auto=webp&v=1525772362)