TY  - BOOK
AU  - Loeckx,Jacques
TI  - Computability and decidability: an introduction for students of computer science
T2  - Lecture notes in economics and mathematical systems
SN  - 3540058699
AV  - QA267.5.S4 
U1  - 629.8/91 
PY  - 1972///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - Sequential machine theory
KW  - Turing machines
N1  - Literaturverz. S. 71
UR  - http://www.gbv.de/dms/hbz/toc/ht000896615.pdf
ER  -