TY  - BOOK
AU  - Prior,A.N.
TI  - Formal logic
U1  - 160 
PY  - 1962/// [reprinted 1963]
CY  - Oxford
PB  - Clarendon Press
KW  - Logic
KW  - Logic, Symbolic and mathematical
N1  - Bibliography: p. [323]-335; Includes index
ER  -