TY - BOOK AU - Prior A. N. TI - Formal logic U1 - R1, K2 PY - 1962/// CY - Oxford PB - At The Clarendon Press KW - PHILOSOPHY ER -