The Bulletin of Symbolic Logic, December 1995
- Contains obituary by H. B. Enderton.
- http://www.math.ucla.edu/~asl/bsl/0104-toc.htm

The Need for Abstract Entities
- Philosophical paper by Alonzo Church
- http://www.ditext.com/church/nae.html

Church-Turing Thesis
- Article in the Stanford Encyclopedia.
- http://plato.stanford.edu/entries/church-turing/

Alonzo Church
- Biography from the MacTutor History of Mathematics archive.
- http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html