Basic verifiability in the combinatory theory of restricted generality - Curry, Haskell B. (Jerusalem : Magnes, 1961)
Keywords: Lógica matemática