To H.B. Curry essays on combinatory logic, lambda calculus and formalism
Curry, Haskell B.(Haskell Brooks)
Seldin, J. P.(Jonathan Paul)
Hindley, J. R.(James Roger),1939-
London Academic Press
1980
Includes bibliographies
Logic, Symbolic and mathematical.