Vvedenije v matematičeskuju logiku. I. - Church, Alonzo (Gosinoizdat, 1960)