Úvod do matematické logiky. - Church, Alonzo, 1903-1995 (UJEP Brno, 1977)