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
259 más...
Unidad documental simpleMW0000923 - ??/??/75 - ??/??/76 General Relativity Seminar, Oxford: Kostant's quantisation program & twistor space
Unidad documental simpleMW0000943 - 18/11/74 Kings College London: Chris Isham: Advanced mathematical methods in QFT
Unidad documental simpleMW0000943 - 18/11/74 Kings College London: Chris Isham: Advanced mathematical methods in QFT (contd.)
Unidad documental simpleMW0000963 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Intuitionism & proof theory
Unidad documental simpleMW0000963 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Intuitionism & proof theory (contd.)
Unidad documental simpleMW0000964 - ??/07/74 International Summer Institute and Logic Colloquium, Kiel: Scott (contd.)
Unidad documental simpleMW0000964 - ??/07/74 International Summer Institute and Logic Colloquium, Kiel: Wayne Richter: Inductive definitions
Unidad documental simpleMW0000965 - ??/07/74 Michael Wright on ITRs & discussion with Susan Khin Zaw
Unidad documental simpleMW0000965 - ??/07/74 Michael Wright on ITRs & discussion with Susan Khin Zaw
7967 más...

Informes

29/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Intuitionism & proof theory (contd.)

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-16