Une preuve syntaxique de la compacité en logique classique (12 pages) - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année :

Une preuve syntaxique de la compacité en logique classique (12 pages)

(1)
1
Fichier non déposé

Dates et versions

hal-01787778 , version 1 (07-05-2018)

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⟩
46 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More