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 Connectez-vous pour contacter le contributeur
Soumis le : lundi 7 mai 2018 - 17:39:16
Dernière modification le : lundi 6 décembre 2021 - 16:30:03

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

Les métriques sont temporairement indisponibles