The combinatory programme Erwin Engeler in collab. with K. Aberer ... - 142 S graph. Darst 25 cm - Progress in theoretical computer science 15 . - 15 . - Progress in theoretical computer science 15 . Literaturangaben ISBN: 3764338016 ((Basel ...) 0817638016 : sfr 88.00 ((Boston) Nat. Bib. Agency Control No.: 943321654 DE-101 Subjects--Topical Terms: Combinatory logicCombinatory logic Subjects--Index Terms: LC Class. No.: QA9.5