TY  - BOOK
AU  - SOMMERHALDER, R
AU  - VAN WESTRHENEN, S C
TI  - Theory of computability: Programs, machines, effectiveness and feasibility
T2  - International computer science series
SN  - 0201142147
U1  - 511.3 
PY  - 1988///
CY  - MASSACHUSETTS
PB  - ADDISON-WESLEY
KW  - MATHEMATICAL LOGIC
ER  -