Historical Archives - Centre for Logic, Epistemology and History of Science - Unicamp

Matemática

Taxonomy

Subjects

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Matemática

NT geometria
NT Álgebras de conjuntos não-clássicas
NT Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
NT Funções
NT Geometria
NT Lógica
NT Lógica da Vaguidade
NT Lógica de Vasil'év
NT Russell's Set
NT Silogística de Vasil'év
NT Teoremas de completude e consistência
NT Teoremas em teorias de primeira ordem de Vasil'év
NT Teoria das Categorias
NT Teoria das Probabilidades
NT Teoria de modelos
NT Teoria dos conjuntos
NT Teoria dos Números
NT Teorias de primeira ordem de Vasil’év
NT Universal Set in Paraconsistent Set Theory

Equivalent terms

Matemática

Associated terms

Matemática

8 Archival description results for Matemática

Sort by:

Direction:

Álgebras de conjuntos não-clássicas

BR SPCLEARQ FAIA-PIm-A-IT360
Item
? - 1966-10-17

Part of Ayda Ignez Arruda

Artigo de AIA, intitulado Álgebras de conjuntos não-clássicas. Universidade de São Paulo, 17 out. 1966. S.ass. 10p. dat. cópia.

Untitled

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361
Item

Part of Ayda Ignez Arruda

Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.

Untitled

Críticas de Smirnov à lógica de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT371
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

Untitled

Estudo de AIA sem título

BR SPCLEARQ FAIA-PIm-V-IT383
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.

Untitled

Estudo de AIA Silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT380
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.

Untitled

Estudo de AIA sobre a silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT384
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms

Untitled

Estudo de AIA, Sobre a Lógica da Vaguidade

BR SPCLEARQ FAIA-PIm-SC-IT388
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms.

Untitled

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

BR SPCLEARQ FAIA-PIm-A-IT364
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.

Untitled

Matemática

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Matemática

Equivalent terms

Matemática

Associated terms

Matemática

8 Archival description results for Matemática

Export

Results

No. narrower terms