×

zbMATH — the first resource for mathematics

Combinatory reduction systems. (English) Zbl 0466.03006
Mathematical Centre Tracts, 127. Amsterdam: Mathematisch Centrum. XIII, 317 p. Dfl. 39.90 (1980).

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