Accéder directement au contenu Accéder directement à la navigation
Pré-publication, Document de travail

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

Type de document :
Pré-publication, Document de travail
Liste complète des métadonnées

https://hal-univ-lyon3.archives-ouvertes.fr/hal-01787778
Contributeur : Jean-Baptiste Joinet <>
Soumis le : lundi 7 mai 2018 - 17:39:16
Dernière modification le : lundi 10 février 2020 - 12:17:20

Identifiants

  • HAL Id : hal-01787778, version 1

Collections

Citation

Jean-Baptiste Joinet. Une preuve syntaxique de la compacité en logique classique (12 pages). 2018. ⟨hal-01787778⟩

Partager

Métriques

Consultations de la notice

48