Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descripción archivística
Registro de autoridad
Instituciones archivísticas
Funciones
Materias
Lugares
Objetos digitales
Búsqueda
Search options
Búsqueda global
Búsqueda avanzada
Search in browse page
Portapapeles
Portapapeles
Portapapeles
Borrar selección
Ir al portapapeles
Cargar portapapeles
Save clipboard
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Enlaces rápidos
Enlaces rápidos
Enlaces rápidos
Inicio
Acerca
Privacy Policy
Ayuda
Iniciar sesión
¿Estás registrado?
Correo electrónico
*
This field is required.
Contraseña
*
This field is required.
Iniciar sesión
Fondos
Búsqueda rápida
Fondo
Michael Wright Collection
287 más...
Unidad documental simple
MW0000975 - 30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Jörg Flum: last lecture of course (contd.) / 31/07/74 seminar on Martin-Löf's intuitionism & proof theory
Unidad documental simple
MW0000976 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad (part II)
Unidad documental simple
MW0000976 - 31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on Martin-Löf's intuitionism & proof theory
Unidad documental simple
MW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (i): Computation structures & structure-preserving mappings
Unidad documental simple
MW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings
Unidad documental simple
MW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (i)
Unidad documental simple
MW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (ii)
Unidad documental simple
MW0000979 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (final lecture)
Unidad documental simple
MW0000979 - 30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Proof theory
7939 más...
Búsqueda
Informes
29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings
Informes
No hay informes relevantes para este ítem
Cancelar