Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, EpiSciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Nature et logique de G. Gentzen à J.-Y. Girard

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-univ-lyon3.archives-ouvertes.fr/hal-01787588
Contributeur : Jean-Baptiste Joinet Connectez-vous pour contacter le contributeur
Soumis le : lundi 7 mai 2018 - 16:27:57
Dernière modification le : lundi 6 décembre 2021 - 16:30:03

Identifiants

  • HAL Id : hal-01787588, version 1

Collections

Citation

Jean-Baptiste Joinet. Nature et logique de G. Gentzen à J.-Y. Girard. Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2016, 59 (234), pp.157-171. ⟨hal-01787588⟩

Partager

Métriques

Consultations de la notice

22