TY  - BOOK
AU  - Wolf, Robert S
TI  - Tour through mathematical logic
SN  - 9780883850428
CY  - Washington
KW  - Mathematical logic
ER  -