Matemática

8 Descrição arquivística resultados para Matemática

Álgebras de conjuntos não-clássicas
BR SPCLEARQ FAIA-PIm-A-IT360 · Item · ? - 1966-10-17
Parte de 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. Ayda Ignez Arruda
Estudo de AIA sem título
BR SPCLEARQ FAIA-PIm-V-IT383 · Item
Parte de 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. Ayda Ignez Arruda
BR SPCLEARQ FAIA-PIm-A-IT364 · Item
Parte de 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. Ayda Ignez Arruda