Publicação Adicionar a área de transferência BR SPCLEARQ AIA-PIm-A-6 Item s.d. Parte deAyda Ignez Arruda Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-V-2 Item s.d. Parte deAyda Ignez Arruda 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 Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-V-9 Item s.d. Parte deAyda Ignez Arruda Estudo 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 Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-SC-6 Item s.d. Parte deAyda Ignez Arruda Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia. Ayda Ignez Arruda
Apontamentos Adicionar a área de transferência BR SPCLEARQ AIA-PIm-SC-8 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA sobre dualidade entre C1 e C1. S.l., S.d. S.ass. 3p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-5 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-6 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-7 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-6 Item 1972-07 Parte deAyda Ignez Arruda Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-12 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado Observações sobre um sistema sem a regra do modus ponens. S.l., S.d. Ass.: Ayda Ignez Arruda. 11p. ms. Ayda Ignez Arruda
