Combinatory logic/
Haskell B. Curry, Robert Feys. With two sections by William Craig.
- Amsterdam ; North-Holland, 1968-72.
- 2 v.: 23 cm.
- Studies in logic and the foundations of mathematics .
Includes bibliographies.
Combinatory logic. Logic, Symbolic and mathematical.