×

Combinatory logic. With two sections by William Craig. (English) Zbl 0081.24104

(Studies in Logic and the Foundations of Mathematics.) Amsterdam: North- Holland Publishing Company. XVI, 417 p. (1958).

MSC:

03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B40 Combinatory logic and lambda calculus