Osnovanija matematičeskoj logiki. - Curry, Haskell B. (1969)
Záznam neprešiel kontrolou