english deutsch
Alonzo Church
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html
Biography from the MacTutor History of Mathematics archive.
Church-Turing Thesis
http://plato.stanford.edu/entries/church-turing/
Article in the Stanford Encyclopedia.
The Bulletin of Symbolic Logic, December 1995
http://www.math.ucla.edu/~asl/bsl/0104-toc.htm
Contains obituary by H. B. Enderton.
The Need for Abstract Entities
http://www.ditext.com/church/nae.html
Philosophical paper by Alonzo Church