zoeken

Global search

E-mail*This field is required.

wachtwoord*This field is required.

ArchiefMichael Wright Collection
281 more...
StukMW0000972 - 26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)
StukMW0000973 - 26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)
StukMW0000973 - 26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)
StukMW0000974 - 31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on intuitionism & Martin-Löf's type theory
StukMW0000974 - 02/08/74 International Summer Institute and Logic Colloquium, Kiel: Andrzej Mostowski
StukMW0000975 - 30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Jörg Flum: last lecture of course
StukMW0000975 - 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
StukMW0000976 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad (part II)
StukMW0000976 - 31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on Martin-Löf's intuitionism & proof theory
7945 more...

Reports

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

There are no relevant reports for this item

Printed: 2026-04-17