TY - BOOK AU - Prior, A N AU - Prior,A N TI - Formal Logic U1 - N13 PY - 1962/// CY - Oxford PB - At the Clarendon Press N1 - includes index and biblioraphy ER -