TY  - BOOK
AU  - Keisler,H.Jerome,.
TI  - Mathematical logic and computability
SN  - 0071144269
U1  - 510/511.3 KEI 1996 
PY  - 1996///
CY  - New York
PB  - : McGraw-Hill
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliography and index
ER  -