Chapitre D'ouvrage
Année : 1992
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04011846
Soumis le : jeudi 2 mars 2023-14:53:48
Dernière modification le : lundi 20 novembre 2023-11:44:23
Dates et versions
Identifiants
- HAL Id : hal-04011846 , version 1
Citer
Philippe Balbiani. A promenade from provability to consistency. Luis Fariñas del Cerro; Martti Penttonen. Intensional Logics for Programming, Oxford University Press, pp.195--219, 1992, Studies in Logic and Computation, 978-0198537755. ⟨hal-04011846⟩
Collections
1
Consultations
0
Téléchargements