TY - BOOK AU - Prior,Arthur N. TI - Formal logic U1 - 160 PY - 1962/// CY - Oxford PB - At the Clarendon Press KW - LOGICA MATEMATICA ER -