Hindley, J. R.; Lercher, B.; Seldin, J. P. 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 37 Documents 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 PDFBibTeX XML