×

The lambda calculus, its syntax and semantics. (English) Zbl 0467.03010

Studies in Logic and the Foundations of Mathematics, Vol. 103. Amsterdam - New York - Oxford: North-Holland Publishing Company. XIV, 615 p. $ 109.75; Dfl. 225.00 (1981).

MSC:

03B40 Combinatory logic and lambda calculus
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D99 Computability and recursion theory
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations