Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Blader
Blader
archivistische beschrijving
geautoriseerd bestand
archiefinstelling
Functies
Onderwerpen
Plaatsen
Digitale objecten
zoeken
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Taal
Taal
Taal
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
home
Over
Privacy Policy
Help
Inloggen
Have an account?
E-mail
*
This field is required.
wachtwoord
*
This field is required.
Inloggen
Bestanden
Quick search
Archief
Michael Wright Collection
3505 more...
Stuk
MW0002159 - 13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Jean-Yves Girard: Linear logic & locus solum (contd.)
Stuk
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
Stuk
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.)
Stuk
MW0002161 - 14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Francis William Lawvere: The relationship of foundations & applications
Stuk
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
Stuk
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
Stuk
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 (contd.)
Stuk
MW0002163 - 14/11/00 Discussions incl. FW Lawvere & A Kock following geometric structures in logic, physics & computer science, É.N.S. Paris meeting
Stuk
MW0002163 - 14/11/00 conversations: FW Lawvere & A Kock following geometric structures in logic, physics & computer science, É.N.S. Paris meeting (contd.)
4721 more...
zoeken
Reports
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
Reports
There are no relevant reports for this item
Verwijderen