## To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism.(English)Zbl 0469.03006

London etc.: Academic Press, A Subsidiary of Harcourt Brace Jovanovich, Publishers. XXV, 606 p., £26.60; \$ 64.00 (1980).

### MSC:

 03B40 Combinatory logic and lambda calculus 03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 01A70 Biographies, obituaries, personalia, bibliographies 03A05 Philosophical and critical aspects of logic and foundations 18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)