Vvedenije v matematičeskuju logiku. I. - Church, Alonzo (Moskva : Gosinoizdat, 1960)
Záznam revízie