Osnovanija matematičeskoj logiki : Per. s angl - Curry, Haskell Brooks, 1900-1982 (Mir, 1969)