510.1
Cur
L
Curry, Haskell Brooks, 1900-
Lógica combinatoria [por] Haskell B.
Curry [y] Robert Feys. Colaboración de
William Craig. [Tr. por Manuel Sacristán]
Madrid, Editorial Tecnos [c1967]
t. 24 cm. (Estructura y función, 24)