Jean-Baptiste Joinet : Connectez-vous pour contacter le contributeur
https://univ-lyon3.hal.science/hal-01787778
Soumis le : lundi 7 mai 2018-17:39:16
Dernière modification le : mardi 5 septembre 2023-16:16:03
Dates et versions
Identifiants
- HAL Id : hal-01787778 , version 1
Citer
Jean-Baptiste Joinet. Une preuve syntaxique de la compacité en logique classique (12 pages). 2018. ⟨hal-01787778⟩
Collections
53
Consultations
0
Téléchargements