TY - BOOK AU - Prior,Arthur N. TI - Formal logic PY - 1962///] CY - Oxford PB - Clarendon Press KW - Logic KW - Local N1 - Bibliography : p. [323]-335 ER -