Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital
Pesquisar
Search options
Pesquisa global
Pesquisa avançada
Search in browse page
Área de transferência
Área de transferência
Área de transferência
Limpar todas as selecções
Ir para a área de transferência
Carregar Área de Transferência
Guardar área de transferência
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Ligações rápidas
Ligações rápidas
Ligações rápidas
Início
Sobre
Política de privacidade
Ajuda
Entrar
Já possui uma conta?
Email
*
Este campo é obrigatório.
Senha
*
Este campo é obrigatório.
Entrar
Acervos documentais
Pesquisa rápida
Arquivo
Michael Wright Collection
287 mais...
Item
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
Item
MW0000976 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad (part II)
Item
MW0000976 - 31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on Martin-Löf's intuitionism & proof theory
Item
MW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (i): Computation structures & structure-preserving mappings
Item
MW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings
Item
MW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (i)
Item
MW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (ii)
Item
MW0000979 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (final lecture)
Item
MW0000979 - 30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Proof theory
7939 mais...
Pesquisar
Relatórios
29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings
Relatórios
Não existem relatórios relevantes para este item
Cancelar