Osnovanija matematičeskoj logiki Perevod s anglijskogo V. V. Dončenko. Pod red. Ju. A. Gastera - Curry, Haskell B. 1900-1982 (Izdat. "Mir", 1969)