Series 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

Identity area

Reference code

BR SPCLEARQ AMACL-PI

Title

Produção Intelectual

Date(s)

  • 1960-2022 (Creation)

Level of description

Series

Extent and medium

Context area

Name of creator

Repository

Archival history

Immediate source of acquisition or transfer

Content and structure area

Scope and content

Appraisal, destruction and scheduling

Accruals

System of arrangement

Conditions of access and use area

Conditions governing access

Conditions governing reproduction

Language of material

Script of material

Language and script notes

Finding aids

Allied materials area

Existence and location of originals

Existence and location of copies

Related units of description

Related descriptions

Notes area

Alternative identifier(s)

Access points

Subject access points

Place access points

Name access points

Genre access points

Description control area

Description identifier

Institution identifier

Rules and/or conventions used

Level of detail

Dates of creation revision deletion

Language(s)

Script(s)

Sources

Accession area

Related subjects

Related people and organizations

Related genres

Related places