TY  - BOOK
AU  - Loeckx J
TI  - Computability and decidability: an introduction for students of computer science
U1  - 658.540151 
PY  - 1972///
CY  - Berlin
PB  - Springer-verlag
KW  - Computability,decidability>
ER  -