Strong reduction in combinatory logic.
Contributors: University of Oklahoma. Mathematics Service Committee.
Series: [University of Oklahoma] Dept. of Mathematics. Preprints,; 38
Publisher: University of Oklahoma
Published: 1966
Place of publication: [Norman
Language: eng
Number of pages: 34
Subjects: Logic, Symbolic and mathematical.
Notes: Bibliography: leaf 34.
"Prepared by the University of Oklahoma Mathematics Service Committee."