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

Identity area

Reference code

BR SPCLEARQ AMACL-PI-05

Title

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

Date(s)

Level of description

Item

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

Generated finding aid

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

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