Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arrudas.l.
3440 Descrição arquivística resultados para s.l.
Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez ArrudaEstudo 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 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], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.
Ayda Ignez ArrudaEstudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda