TY  - GEN
AU  - Loewen, Kenneth
TI  - Strong reduction in combinatory logic
PY  - 1965///
CY  - Oklahoma
PB  - University Oklahoma
N1  - Lucrarea este multigrafiata; Contine bibliografie
ER  -