To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism /

Bibliographic Details
Other Authors:	Curry, Haskell B. (Haskell Brooks), 1900-1982, Hindley, R., Seldin, J. P.
Format:	Book
Language:	English
Published:	London ; New York, N.Y. : Academic Press, 1980.
Subjects:	Curry, Haskell B. > (Haskell Brooks), > 1900-1982. Logic, Symbolic and mathematical.