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