TY  - BOOK
AU  - Thomas, Norman L
TI  - Modern logic
CY  - New York
KW  - Logic
ER  -