Communication Dans Un Congrès
Année : 2007
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03301181
Soumis le : mardi 27 juillet 2021-13:20:45
Dernière modification le : lundi 19 août 2024-16:00:09
Dates et versions
Identifiants
- HAL Id : hal-03301181 , version 1
Citer
Didier Galmiche, Yakoub Salhi. Provability and Countermodels in Go?del-Dummett Logics. International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING'07, 2007, Bremen, Germany. ⟨hal-03301181⟩
Collections
22
Consultations
0
Téléchargements