Schulz, Klaus-Dieter, Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie, Peter Lang: Frankfurt a.M. u.a. 1997
V. Peckhaus, zbMATH Open, Zbl. 0881.03002 (1998).