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
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha