Item MW0003065 - 19/08/95 10th International Congress of Logic, Methodology and Philosophy of Science, Florence: Giuseppe Longo: Impredicativity: The general notion & its recent role in type theory / Gabriele Lolli: Is Church's thesis a theorem?

Zona de identificação

Código de referência

MW0003065

Título

19/08/95 10th International Congress of Logic, Methodology and Philosophy of Science, Florence: Giuseppe Longo: Impredicativity: The general notion & its recent role in type theory / Gabriele Lolli: Is Church's thesis a theorem?

Data(s)

Nível de descrição

Item

Dimensão e suporte

Audio: Compact Cassette 90 Side A

Zona do contexto

História do arquivo

Section 10, part of (G Longo talk)

Fonte imediata de aquisição ou transferência

Zona do conteúdo e estrutura

Âmbito e conteúdo

Avaliação, selecção e eliminação

Ingressos adicionais

Sistema de arranjo

Zona de condições de acesso e utilização

Condições de acesso

Condiçoes de reprodução

Idioma do material

  • inglês

Script do material

    Notas ao idioma e script

    Características físicas e requisitos técnicos

    Instrumentos de descrição

    Zona de documentação associada

    Existência e localização de originais

    Existência e localização de cópias

    Unidades de descrição relacionadas

    Descrições relacionadas

    Zona das notas

    Nota

    Check with Michael Wright - speakers

    Identificador(es) alternativo(s)

    Pontos de acesso

    Pontos de acesso - Assuntos

    Pontos de acesso - Locais

    Pontos de acesso - Nomes

    Pontos de acesso de género

    Zona do controlo da descrição

    Identificador da descrição

    Identificador da instituição

    Regras ou convenções utilizadas

    Estatuto

    Nível de detalhe

    Datas de criação, revisão, eliminação

    Línguas e escritas

      Script(s)

        Fontes

        Zona da incorporação