Article Dans Une Revue
Logique et Analyse
Année : 2016
Jean-Baptiste Joinet : Connectez-vous pour contacter le contributeur
https://univ-lyon3.hal.science/hal-01787588
Soumis le : lundi 7 mai 2018-16:27:57
Dernière modification le : mardi 5 septembre 2023-16:16:03
Dates et versions
Identifiants
- HAL Id : hal-01787588 , version 1
Citer
Jean-Baptiste Joinet. Nature et logique de G. Gentzen à J.-Y. Girard. Logique et Analyse, 2016, 59 (234), pp.157-171. ⟨hal-01787588⟩
Collections
29
Consultations
0
Téléchargements