STENLUND, S.
Combinators, lambda-terms and proof theory.
Dordrecht, Reidel, 1972.
184 pp. Cloth + dustjacket. (SL) *owner's name, dustjacket a bit damaged, otherwise in good condition*
Boeknummer 629072 € 20.00