Church

Alonzo, US-amerikanischer Logiker, * 14. 6. 1903 Washington; † 11. 8. 1995 Princeton; maßgebende Arbeiten über mathematische Logik.