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

Document type :
Preprints, Working Papers, ...
Complete list of metadatas

https://hal-univ-lyon3.archives-ouvertes.fr/hal-01787778
Contributor : Jean-Baptiste Joinet <>
Submitted on : Monday, May 7, 2018 - 5:39:16 PM
Last modification on : Tuesday, March 19, 2019 - 3:44:58 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

34