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.
séquent de Gentzen
Il y a 2 résultats avec cette recherche.