TY  - BOOK
AU  - Tourlakis G J
TI  - Computability
SN  - 0-8359-0876-3
U1  - 511.3 
PY  - 1984///
CY  - Reston
PB  - Virginia
KW  - Computable functions
KW  - Mathematical logic
ER  -