TY  - BOOK
AU  - Loeckx, J.
TI  - Computability and decidability; an introduction for students of computer science
T2  - Lecture notes in Economics and Mathematical systems, 68
U1  - 518.542 
PY  - 1972///
CY  - Berlin
PB  - Springer-Verlag
ER  -