TY  - BOOK
AU  - 
TI  - A first course in computability
U1  - 001.64 
PY  - 1985///
CY  - Oxford
PB  - Blackwell Scientific
KW  - Electronic data processing
ER  -