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
384 mais...
Item
MW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: William W Boone: Decision problem for groups
Item
MW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: H Rasiowa: On algebraic semantics for systems of multi-valued algorithmic languages
Item
MW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Lars Löfgren: On syntactic & semantic reductions of theories / Robert Fittler: Closed models & hulls of theories
Item
MW0003742 - 01/08/74 ISILC - Logic Conference, Kiel: Speaker tbc: On embedding of classical logic in S4 / 02/08/74: Morning talks
Item
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems
Item
MW0003743 - 02/08/74 ISILC - Logic Conference, Kiel: Morning talks
Item
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Franz von Kutschera: On linguistics & 'natural logic' / C Imbert: On history & methodology of logic
Item
MW0003744 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory (start) - Gaisi Takeuti et al.
Item
MW0003745 - 02/08/74 ISILC - Logic Conference, Kiel: Symposium of Proof Theory - Gaisi Takeuti, Justus Diller, Horst Luckhardt
7842 mais...
Pesquisar
Relatórios
02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems
Relatórios
Não existem relatórios relevantes para este item
Cancelar