Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital
Pesquisar
Search options
Pesquisa global
Pesquisa avançada
Search in browse page
Área de transferência
Área de transferência
Área de transferência
Limpar todas as selecções
Ir para a área de transferência
Carregar Área de Transferência
Guardar área de transferência
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Ligações rápidas
Ligações rápidas
Ligações rápidas
Início
Sobre
Política de privacidade
Ajuda
Entrar
Já possui uma conta?
Email
*
Este campo é obrigatório.
Senha
*
Este campo é obrigatório.
Entrar
Acervos documentais
Pesquisa rápida
Arquivo
Michael Wright Collection
3504 mais...
Item
MW0002159 - 13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Jean-Yves Girard: Linear logic & locus solum
Item
MW0002159 - 13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Jean-Yves Girard: Linear logic & locus solum (contd.)
Item
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
Item
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.)
Item
MW0002161 - 14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Francis William Lawvere: The relationship of foundations & applications
Item
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
Item
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
Item
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.)
Item
MW0002163 - 14/11/00 Discussions incl. FW Lawvere & A Kock following geometric structures in logic, physics & computer science, É.N.S. Paris meeting
4722 mais...
Pesquisar
Relatórios
14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Francis William Lawvere: The relationship of foundations & applications
Relatórios
Não existem relatórios relevantes para este item
Cancelar