 |
 |
Article dans une revue
Nature et logique de G. Gentzen à J.-Y. Girard
https://hal-univ-lyon3.archives-ouvertes.fr/hal-01787588
Contributeur : Jean-Baptiste Joinet <>
Soumis le : lundi 7 mai 2018 - 16:27:57
Dernière modification le : lundi 10 février 2020 - 12:17:21
Contributeur : Jean-Baptiste Joinet <>
Soumis le : lundi 7 mai 2018 - 16:27:57
Dernière modification le : lundi 10 février 2020 - 12:17:21