Estudo de AIA, Sobre a Lógica da Vaguidade
- BR SPCLEARQ FAIA-PIm-SC-IT388
- Item
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
Estudo de AIA, Sobre a Lógica da Vaguidade
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
Estudo de AIA sobre a silogística de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms
Ayda Ignez Arruda
Parte deAyda 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
Estudo de AIA Silogística de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.
Ayda Ignez Arruda
Críticas de Smirnov à lógica de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Parte deAyda 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
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte deAyda 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.
Ayda Ignez Arruda
Álgebras de conjuntos não-clássicas
Parte deAyda 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