×

Introduction to combinatory logic. (English) Zbl 0269.02005

London Mathematical Society Lecture Note Series. 7. London: Cambridge University Press. 179 p. £2.00; $ 6.50 (1972).

MSC:

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