000 00452 a2200157 4500
035 _a
090 _c18561
_d18561
100 _aLoewen, Kenneth
245 _aStrong reduction in combinatory logic
_cKenneth Loewen
260 _aOklahoma
_bUniversity Oklahoma
_c1965
300 _a34 p
_c27 cm
440 _aDepartament of mathematics preprints
_n38
500 _aLucrarea este multigrafiata
500 _aContine bibliografie
942 _aIMAR
_cCART
_sSN
999 _c18307
_d18307