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