TY - BOOK AU - Prior,Arthur N. TI - Formal logic PY - 1962/// CY - Oxford PB - Clarendon Press N1 - Бібліогр. в підрядк. прим., Index ER -