Combinatory logic/
Curry, Haskell B. 1900-
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.
511.3 / C976c
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.
511.3 / C976c