TY  - GEN
AU  - Stenlund,S.
TI  - Combinators, terms and proof theory
PY  - 1972///
CY  - Holland
PB  - D. Reidel Publishing Company
KW  - Logic
KW  - Symbotic and Mathematical
ER  -