TY  - BOOK
AU  - Shapiro/Kissel
TI  - Classical First-Order Logic
SN  - 9781108982009
PB  - Cambridge University Press
UR  - https://doi.org/10.1017/9781108982009
ER  -