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
К.: Бібліогр. : c. 123-129