TY  - BOOK
AU  - Cooper, S. B
AU  - Truss, J. K
ED  - Association for Symbolic Logic, Logic Colloquium (1997 : Leeds, England)
TI  - Models and computability : invited papers from logic colloquium '97, European meeting of the association for symbolic logic, Leeds, July 1997
SN  - 0521635500
SN  - 99019677
U1  - 511.3 COO 
PY  - 1999///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computable functions - Congresses
KW  - Logic, Symbolic and mathematical - Congresses
N1  - Includes bibliographical references
ER  -