TY  - BOOK
AU  - Prior,Arthur N.
TI  - Formal logic
PY  - 1955///
CY  - Oxford
PB  - Clarendon Press
N1  - Includes index and bibliographes
ER  -