Spinoza en Coq : démonstration complète des premières propositions de l’Éthique

Type de document :
Communication dans un congrès
Mathématiques, Informatique et Philosophie, Sep 2015, Toulouse, France
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224195
Contributeur : Baptiste Mélès <>
Soumis le : mercredi 4 novembre 2015 - 11:35:46
Dernière modification le : mardi 12 juin 2018 - 18:18:01

Identifiants

  • HAL Id : hal-01224195, version 1

Citation

Baptiste Mélès. Spinoza en Coq : démonstration complète des premières propositions de l’Éthique. Mathématiques, Informatique et Philosophie, Sep 2015, Toulouse, France. 〈hal-01224195〉

Partager

Métriques

Consultations de la notice

272