Combinators -terms and proof theory. D (1972)

by S Stenlund