Vvedenije v matematičeskuju logiku. - Church, Alonzo (Izdateľstvo inostrannoj literatury, 1960)