Report - NOTES DE COURS - Université Lavaldadub100/cours/H09/22257/ntsLogique.pdf · NOTES DE COURS LOGIQUE ET TECHNIQUES DE PREUVE ... 4 Assouplissement du style de preuve 49 4.1 Une abr´eviation

Please pass captcha verification before submit form