Combinatory logic - Curry Haskell B; Hindley J Roger; Seldin J P (London North-Holland, 1972)
Keywords: Combinatory logic; Mathematical logic