2022 Introduction à la théorie de la démonstration.
Auteurs : Galvan Sergio ; Mancosu Paolo ; Zach Richard ; Aggoune Yacine. Trad. ; Appadourai David. Trad. ; Rolland Agathe. Trad. ; Waszek David. Trad.
calcul des séquents
Il y a 3 résultats avec cette recherche.
-
-
Auteur : Duparc Jacques
-
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe