Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques

Rechercher

Recherche générale

Recherche avancée

Presse-papier
- Presse-papier
- Effacer toutes les sélections
- Aller au presse-papier
- Charge le presse-papier
- Sauvegarder le presse-papier
Langue
- Langue
- English
- Français
- Español
- Nederlands
- Português
Liens rapides
- Liens rapides
- Accueil
- À propos
- Politique de confidentialité
- Aide

Avez-vous un compte ?

Courriel*This field is required.

Mot de passe*This field is required.

FondsMichael Wright Collection
3504 en plus...
PièceMW0002159 - 13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Jean-Yves Girard: Linear logic & locus solum
PièceMW0002159 - 13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Jean-Yves Girard: Linear logic & locus solum (contd.)
PièceMW0002160 - 13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Angus Macintyre: Significance of geometric perspective on structures in logic & connections between structures in geometry and logic
PièceMW0002160 - 13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Angus Macintyre: Significance of geometric perspective on structures in logic & connections between structures in geometry and logic (contd.)
PièceMW0002161 - 14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Francis William Lawvere: The relationship of foundations & applications
PièceMW0002161 - 14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Francis William Lawvere: The relationship of foundations & applications (contd.) / A Kock remarks / discussion
PièceMW0002162 - 14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Alain Connes: Non-commutative geometry / Panel discussion incl. G Longo, FW Lawvere, A Peruzzi
PièceMW0002162 - 14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Alain Connes: Non-commutative geometry / Panel discussion incl. G Longo, FW Lawvere, A Peruzzi (contd.)
PièceMW0002163 - 14/11/00 Discussions incl. FW Lawvere & A Kock following geometric structures in logic, physics & computer science, É.N.S. Paris meeting
4722 en plus...

Rapports

14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Francis William Lawvere: The relationship of foundations & applications

Il n'y a pas de rapports pertinents pour cet élément

Annuler

Imprimé : 2026-04-19