TY - BOOK A1 - Pabion Jean-François A2 - Guillaume Marcel AU - Pabion Jean-François CY - Paris DA - 1976 ET - Collection Méthodes (Paris. 1966) ST - Logique mathématique KW - Logique mathématique KW - Calcul des propositions KW - Déduction (logique) KW - Complétude, Théorème de LA - français PB - Hermann SN - 2-7056-5830-0 SN - 978-2-7056-5830-4 SP - 1 vol. (XXXI-263 p.) ST - Logique mathématique TI - Logique mathématique Y2 - 2024/03/29 ER -