Item 05 - Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais

Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1

Área de identificação

Código de referência

BR SPCLEARQ AMACL-PI-05

Título

Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais

Data(s)

Nível de descrição

Item

Dimensão e suporte

Área de contextualização

Nome do produtor

Entidade custodiadora

História do arquivo

Fonte imediata de aquisição ou transferência

Área de conteúdo e estrutura

Âmbito e conteúdo

Avaliação, seleção e eliminação

Ingressos adicionais

Sistema de arranjo

Área de condições de acesso e uso

Condições de acesso

Condiçoes de reprodução

Idioma do material

Sistema de escrita do material

Notas ao idioma e script

Instrumentos de descrição

Instrumento de pesquisa gerado

andrea-maria-altino-de-campos-loparic.pdf

Área de materiais associados

Existência e localização de originais

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

Unidades de descrição relacionadas

Descrições relacionadas

Área de notas

Identificador(es) alternativos

Pontos de acesso

Pontos de acesso de assunto

Pontos de acesso local

Ponto de acesso nome

Pontos de acesso de gênero

Área de controle da descrição

Identificador da descrição

Identificador da entidade custodiadora

Regras ou convenções utilizadas

Nível de detalhamento

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

Idioma(s)

Sistema(s) de escrita(s)

Fontes

Zona da incorporação

Assuntos relacionados

Pessoas e organizações relacionadas

Gêneros relacionados

Lugares relacionados