TY  - BOOK
AU  - Weber, Rebecca
TI  - Computability Theory
SN  - 9781470425944
U1  - 511.3 
PY  - 2012///
CY  - Providence
PB  -  American Mathematical Society
KW  - Mathematical (Symbolic) logic
ER  -