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
Chapitre d'ouvrage

Reflections on formalism and reductionism in Logic and Computer Science

Type de document :
Chapitre d'ouvrage
Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03318152
Contributeur : UAR 3608 République des savoirs Connectez-vous pour contacter le contributeur
Soumis le : lundi 9 août 2021 - 13:50:05
Dernière modification le : vendredi 10 juin 2022 - 15:54:01

Identifiants

  • HAL Id : hal-03318152, version 1

Collections

Citation

Giuseppe Longo. Reflections on formalism and reductionism in Logic and Computer Science. European Conference of Mathematics, pp.202-209, 1992. ⟨hal-03318152⟩

Partager

Métriques

Consultations de la notice

13