Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Parcourir
Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques
Rechercher
Search options
Recherche générale
Recherche avancée
Search in browse page
Presse-papier
Presse-papier
Presse-papier
Effacer toutes les sélections
Aller au presse-papier
Charge le presse-papier
Sauvegarder le presse-papier
Langue
Langue
Langue
English
Français
Español
Nederlands
Português
Liens rapides
Liens rapides
Liens rapides
Accueil
À propos
Politique de confidentialité
Aide
Ouverture de session
Avez-vous un compte ?
Courriel
*
This field is required.
Mot de passe
*
This field is required.
Ouverture de session
Fonds
Recherche rapide
Fonds
Michael Wright Collection
3502 en plus...
Pièce
MW0002158 - A
Pièce
MW0002158 - B
Pièce
MW0002159 - 13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Jean-Yves Girard: Linear logic & locus solum
Pièce
MW0002159 - 13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Jean-Yves Girard: Linear logic & locus solum (contd.)
Pièce
MW0002160 - 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èce
MW0002160 - 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èce
MW0002161 - 14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Francis William Lawvere: The relationship of foundations & applications
Pièce
MW0002161 - 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èce
MW0002162 - 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
4724 en plus...
Rechercher
Rapports
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
Rapports
Il n'y a pas de rapports pertinents pour cet élément
Annuler