Pesquisar

Pesquisa global

Email*Este campo é obrigatório.

Senha*Este campo é obrigatório.

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

Relatórios

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

Não existem relatórios relevantes para este item

Impressão: 2026-04-17