Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital

Pesquisar

Pesquisa global

Pesquisa avançada

Á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
- English
- Français
- Español
- Nederlands
- Português
Ligações rápidas
- Ligações rápidas
- Início
- Sobre
- Política de privacidade
- Ajuda

Já possui uma conta?

Email*Este campo é obrigatório.

Senha*Este campo é obrigatório.

ArquivoMichael Wright Collection
376 mais...
ItemMW0003737 - 30/07/74 ISILC - Logic Conference, Kiel: Jens Erik Fenstad: Part 1
ItemMW0003737 - 30/07/74 ISILC - Logic Conference, Kiel: Jens Erik Fenstad: Part II / 31/07/74 Jens Erik Fenstad: On intuitionism & proof theory / Michael Wright: notes
ItemMW0003738 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic
ItemMW0003738 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic (contd.)
ItemMW0003739 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II
ItemMW0003739 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II (contd.)
ItemMW0003740 - 18/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: On inductive definitions
ItemMW0003740 - 18/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: On inductive definitions (contd.)
ItemMW0003741 - 01/08/74 ISILC - Logic Conference, Kiel: William W Boone: Decision problem for groups
7850 mais...

Relatórios

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II

Não existem relatórios relevantes para este item

Cancelar

Impressão: 2026-04-18