![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/5483a.jpg?auto=webp&v=1525772305)
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 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)
A Note of the Entscheidungsproblem,' pp. 40-41 in The Journal of Symbolic Logic, Vol. 1, No. 1, March 1936 | Alonzo CHURCH | First edition
![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
![PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5519470 PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5519470](https://cdn3.slideserve.com/5519470/alonzo-church-mathematician-philosopher-computer-scientist-n.jpg)
PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5519470
![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
![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)