Alonzo Church

Princeton University Press

The Calculi of Lambda-Conversion                

Princeton University Press

Introduction to Mathematical Logic              

MIT Press

The Collected Works of Alonzo Church            

AuthorHouse

Proof In Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic

Introduction to Mathematical Logic by Alonzo Church (1996-10-28)

Springer

Logic, Meaning and Computation: Essays in Memory of Alonzo Church: 305

Introduction to Mathematical Logic Reprint edition by Church, Alonzo (1996) Paperback

Outlook Verlag

A Discourse Delivered Before the Georgia Historical Society

BiblioBazaar

Sketches of The New Jersey Historical Society    

Cornell University Library

Autobiography of a. C. Morehouse: An Itinerant Minister of the New York and New York East Conferences of the Methodist Episcopal Church (1895)