TY  - BOOK
AU  - Curry,Haskell B.
TI  - A theory of formal deducibility
PY  - 1966///
CY  - Notre Dame
PB  - University of Notre Dame Press
N1  - Бібліогр. : c. 123-129
ER  -