TY - BOOK A1 - Prior Arthur Norman AU - Prior Arthur Norman CY - Oxford DA - 1962 ST - Formal logic KW - Logique KW - Logique mathématique LA - anglais PB - at the Clarendon Press SP - 1 vol. (XI-341 p.) ST - Formal logic TI - Formal logic Y2 - 2024/03/28 ER -