TY  - BOOK
AU  - Keisler H Jerome
AU  - Robbin Joel
TI  - Mathematical logic and computability
SN  - 0-07-114426-9
U1  - 511.3 
PY  - 1996///
CY  - New York
PB  - McGraw-Hill
KW  - Computable functions
KW  - Mathematical logic
KW  - Predicate logic
KW  - Propositional logic
ER  -