Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arrudas.l.
3440 Descrição arquivística resultados para s.l.
Resenha de AIA, sobre o texto Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év. S.l., S.d. S.ass. 12p. dat.
Ayda Ignez ArrudaResenha de AIA, sobre o texto Lógica e Metalógica, de N. A. Vasil'év. S.l., S.d. S.ass. 2p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms.
Ayda Ignez ArrudaRascunho de AIA, intitulado Sobre os cálculos de predicados de Vasil'év, contendo vários cálculos relacionados. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.
Ayda Ignez ArrudaEstudo 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 ArrudaEstudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.
Ayda Ignez ArrudaEstudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.l., S.d. S.ass. 14p. dat.
Ayda Ignez Arruda