Reflections on formalism and reductionism in Logic and Computer Science - ENS - École normale supérieure
Chapitre D'ouvrage Année : 1992

Reflections on formalism and reductionism in Logic and Computer Science

Fichier non déposé

Dates et versions

hal-03318152 , version 1 (09-08-2021)

Identifiants

  • HAL Id : hal-03318152 , version 1

Citer

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

Collections

ENS-PARIS PSL
24 Consultations
0 Téléchargements

Partager

More