Report - Cours 11 [2ex]Calcul des prédicats : résolution [2ex]people.irisa.fr/David.Pichardie/teaching/L3/LOG/cours11.pdf · Iune extension de la preuve par coupure a la logique du 1` er

Please pass captcha verification before submit form