TY  - BOOK
AU  - Stenlund Soren
TI  - Comninators,lamda-terms and proof theory
SN  - 90-277-0305-1
U1  - 511.3 
PY  - 1972///
CY  - Holland
PB  - D Reidel Pub
KW  - Mathematical logic
KW  - Proof theory
ER  -