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
388 más...
Unidad documental simpleMW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems
Unidad documental simpleMW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Morning talks
Unidad documental simpleMW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Franz von Kutschera: On linguistics & 'natural logic' / C Imbert: On history & methodology of logic
Unidad documental simpleMW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory (start) - Gaisi Takeuti et al.
Unidad documental simpleMW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt
Unidad documental simpleMW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt (contd.)
Unidad documental simpleMW0003746 - 03/08/74 ISILC - Logic Conference, Kiel: Contributed papers
Unidad documental simpleMW0003746 - 03/08/74 ISILC - Logic Conference, Kiel: Contributed papers (contd.)
Unidad documental simpleMW0003747 - 03/08/74 ISILC - Logic Conference, Kiel: Contributed papers
7838 más...

Informes

02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-19