TY - BOOK AU - Prior, A.N. TI - Formal logic SN - 3988 U1 - 160.2 PAN 16th ed PY - 1955/// PB - Oxford, Clarendon Press KW - Philosophy ER -