TY  - BOOK
AU  - Models and computability  
AU  - Cooper S. Barry, ed.
TI  - Models and computability   
SN  - 9.78E+12
U1  - 511.3 
PY  - 2010///
CY  - New York
PB  - CUP
KW  - Logic, Symbolic and mathematical
KW  - Computable functions
UR  - http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511565670  
ER  -