TY  - BOOK
AU  - Curry,Haskell B
TI  - A theory of formal deducibility
PY  - 1950///
CY  - Notre Dame
PB  - University of Notre Dame Press
KW  - Logic, Symbolic and mathematical
N1  - Bibliography: p. 123-126
ER  -