Term browse - Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Jean-Yves Girard: Linear logic & locus solum

MWC-MW0002159 · Unidad documental simple

Parte de Michael Wright Collection

13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Jean-Yves Girard: Linear logic & locus solum (contd.)

MWC-MW0002159 · Unidad documental simple

Parte de Michael Wright Collection

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.)

MWC-MW0002160 · Unidad documental simple

Parte de Michael Wright Collection

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

MWC-MW0002161 · Unidad documental simple

Parte de Michael Wright Collection

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

MWC-MW0002161 · Unidad documental simple

Parte de Michael Wright Collection

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.)

MWC-MW0002162 · Unidad documental simple

Parte de Michael Wright Collection

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

MWC-MW0002160 · Unidad documental simple

Parte de Michael Wright Collection

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

MWC-MW0002162 · Unidad documental simple

Parte de Michael Wright Collection

Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

Términos equivalentes

Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

Términos asociados

Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

8 Descripción archivística resultados para Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

Navegar Materias:

Restringir resultados por:

Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

Términos equivalentes

Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

Términos asociados

Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

8 Descripción archivística resultados para Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure