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 · Item

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 · Item

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 · Item

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 · Item

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 · Item

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 · Item

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 · Item

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 · Item

Parte de Michael Wright Collection

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

Área de elementos

Taxonomia

Código

Nota(s) de âmbito

Nota(s) da fonte

Mostrar nota(s)

Termos hierárquicos

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

Termos equivalentes

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

Termos associados

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

8 Descrição arquivística resultados para Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure

Navegar Assuntos:

Limite os seus resultados por:

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

Área de elementos

Taxonomia

Código

Nota(s) de âmbito

Nota(s) da fonte

Mostrar nota(s)

Termos hierárquicos

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

Termos equivalentes

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

Termos associados

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

8 Descrição arquivística resultados para Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure