Búsqueda

Búsqueda global

Correo electrónico*This field is required.

Contraseña*This field is required.

FondoMichael Wright Collection
281 más...
Unidad documental simpleMW0000972 - 26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)
Unidad documental simpleMW0000973 - 26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)
Unidad documental simpleMW0000973 - 26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)
Unidad documental simpleMW0000974 - 31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on intuitionism & Martin-Löf's type theory
Unidad documental simpleMW0000974 - 02/08/74 International Summer Institute and Logic Colloquium, Kiel: Andrzej Mostowski
Unidad documental simpleMW0000975 - 30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Jörg Flum: last lecture of course
Unidad documental simpleMW0000975 - 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 simpleMW0000976 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad (part II)
Unidad documental simpleMW0000976 - 31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on Martin-Löf's intuitionism & proof theory
7945 más...

Informes

02/08/74 International Summer Institute and Logic Colloquium, Kiel: Andrzej Mostowski

No hay informes relevantes para este ítem

Imprimido: 2026-04-17