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
383 más...
Unidad documental simple
MW0003740 - 18/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: On inductive definitions (contd.)
Unidad documental simple
MW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: William W Boone: Decision problem for groups
Unidad documental simple
MW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: H Rasiowa: On algebraic semantics for systems of multi-valued algorithmic languages
Unidad documental simple
MW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Lars Löfgren: On syntactic & semantic reductions of theories / Robert Fittler: Closed models & hulls of theories
Unidad documental simple
MW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Speaker tbc: On embedding of classical logic in S4 / 02/08/74: Morning talks
Unidad documental simple
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems
Unidad documental simple
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Morning talks
Unidad documental simple
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Franz von Kutschera: On linguistics & 'natural logic' / C Imbert: On history & methodology of logic
Unidad documental simple
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory (start) - Gaisi Takeuti et al.
7843 más...
Búsqueda
Informes
01/08/74 ISILC - Logic Conference, Kiel: Speaker tbc: On embedding of classical logic in S4 / 02/08/74: Morning talks
Informes
No hay informes relevantes para este ítem
Cancelar