Série PI - Produção Intelectual

Um estudo semântico de alguns cálculos proposicionais 1 O objeto da Lógica 1 Duas aplicações da Teoria das Valorações 1 Logique Mathématique 1 Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1 Linguagem do Cálculo Sentencial 1 Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1 Apostila de exercícios Lógica II 1 Apostila de exercícios Lógica II anexos 1 La méthode des validations en Logique Propositionnelle Modale Questões para resolver em casa Introdução à Lógica de Predicados Lições de Lógica

Área de identificação

Código de referência

BR SPCLEARQ ALOP-PI

Título

Produção Intelectual

Data(s)

  • 1960-2022 (Produção)

Nível de descrição

Série

Dimensão e suporte

Área de contextualização

Nome do produtor

História do arquivo

Procedência

Área de conteúdo e estrutura

Âmbito e conteúdo

Avaliação, selecçã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

Script do material

Notas ao idioma e script

Instrumentos de descrição

Área 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

Á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 instituição

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