Anderson, C. Anthony, cAlonzo Churcs Contributions to Philosophy and Intensional Logicd, Bull. Symb. Logic 4, No. 2 (1998), 1293171
V. Peckhaus, zbMATH Open, Zbl. 0908.03002 (1999).