A theory of formal deducibility

Curry, Haskell B. 1900-1982. A theory of formal deducibility / Haskell B. Curry . - Notre Dame : University of Notre Dame Press, 1966 . - x, 129 p. 23 cm. - (Notre Dame mathematical lectures ; no. 6 )
К.: Бібліогр. : c. 123-129