TY  - BOOK
AU  - Koymans C P J
TI  - Modelsofthe lamda calculus
U1  - 511.3 
PY  - 1984///
CY  - Amsterdam
PB  - Centre for Mathematics and Computer Science
KW  - Lamda calculus
KW  - Mathematical logic
ER  -