Osnovanija matematičeskoj logiki - Curry, Haskell Brooks, 1900-1982 (Mir, 1969)