TY  - BOOK
AU  - Kleene, Stephen Cole 
TI  - Mathematical Logic
SN  - 9780486425337
U1  - 511.3 KLE 
PY  - 2016///
CY  - New York
PB  - Dover Publications Inc
KW  - Mathematical Logic
ER  -