Combinators, λ-terms and proof theory. - Stenlund, Sören, 1943-2019 (D. Reidel Publishing Comp., 1972)