TY  - BOOK
AU  - Engeler,Erwin
TI  - The combinatory programme
T2  - Progress in theoretical computer science
SN  - 3764338016
AV  - QA9.5 
PY  - 1995///
CY  - Boston [u.a.]
PB  - Birkhäuser
KW  - Combinatory logic
KW  - Computeralgebra
KW  - Kombinatorische Logik
N1  - Literaturangaben
UR  - https://zbmath.org/?q=an:0827.03004
ER  -