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
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-13 Item s.d. Parte deAyda Ignez Arruda Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-14 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-17 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-21 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-V-8 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms. Ayda Ignez Arruda
