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)
Thomas Fruchart, Giuseppe Longo. Carnap's remarks on Impredicative Definitions and the Genericity Theorem. Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Logic and Foundations of Mathematics, Springer, 1999, 978-94-017-2109-7. ⟨hal-03318819⟩