Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Navegar
Descripción archivística
Registro de autoridad
Instituciones archivísticas
Funciones
Materias
Lugares
Objetos digitales

Búsqueda

Búsqueda global

Búsqueda avanzada

Portapapeles
- Portapapeles
- Borrar selección
- Ir al portapapeles
- Cargar portapapeles
- Save clipboard
Idioma
- Idioma
- English
- Français
- Español
- Nederlands
- Português
Enlaces rápidos
- Enlaces rápidos
- Inicio
- Acerca
- Privacy Policy
- Ayuda

¿Estás registrado?

Correo electrónico*This field is required.

Contraseña*This field is required.

FondoMichael Wright Collection
1928 más...
Unidad documental simpleMW0003325 - ??/07/90 Conversations incl J Pulk & M Wright (contd.)
Unidad documental simpleMW0003326 - 25/07/90 CT90 category theory conference, Como, Italy: FW Lawvere: Intrinsic Co-Heyting boundaries in certain toposes
Unidad documental simpleMW0003326 - 25/07/90 CT90 category theory conference, Como, Italy: Branching of Categories
Unidad documental simpleMW0003327 - 25/07/90 CT90 category theory conference, Como, Italy: Homotopy theory
Unidad documental simpleMW0003327 - 25/07/90 CT90 category theory conference, Como, Italy: M Tierney: Groupoids & classifiying spaces
Unidad documental simpleMW0003328 - 25/07/90 CT90 category theory conference, Como, Italy
Unidad documental simpleMW0003328 - 25/07/90 CT90 category theory conference, Como, Italy (contd.)
Unidad documental simpleMW0003329 - 26/07/90 CT90 category theory conference, Como, Italy: P Freyd: Computer science mathematics contradicts computer science / JW Gray: Semantics for A-calculi
Unidad documental simpleMW0003329 - 25/07/90 CT90 category theory conference, Como, Italy: Martin Hyland: Synthetic domain theory
6298 más...

Informes

25/07/90 CT90 category theory conference, Como, Italy: M Tierney: Groupoids & classifiying spaces

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-17