Communication Dans Un Congrès
Année : 2009
Andrei Rodin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00588472
Soumis le : samedi 23 avril 2011-17:26:45
Dernière modification le : samedi 25 juin 2022-20:50:33
Dates et versions
Identifiants
- HAL Id : hal-00588472 , version 1
Citer
Mattia Petrolo. Ideal proofs and logical constructivity : from intuitionistic to classical logic. IP Fellows Seminar, Jan 2009, Paris, France. ⟨hal-00588472⟩
Collections
48
Consultations
0
Téléchargements