TY  - BOOK
AU  - Prior, An
TI  - Formal logic
PY  - 1963///
ER  -