@article{1181154882, author = {Enderton, H. B.}, title = {In Memoriam: Alonzo Church, 1903-1995}, journal = {Bull. Symbolic Logic}, volume = {1}, number = {1}, year = {1995}, pages = { 486-488}, language = {en}, url = {http://dml.mathdoc.fr/item/1181154882} }
Enderton, H. B. In Memoriam: Alonzo Church, 1903-1995. Bull. Symbolic Logic, Tome 1 (1995) no. 1, pp. 486-488. http://gdmltest.u-ga.fr/item/1181154882/