Informe de apoio Adicionar à área de transferência BR SPCLEARQ AIA-PIm-EL-25 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, sem título, contendo partes intituladas Notas para a História da Lógica, História, e Variedades da Lógica. S.l., S.d. S.ass. 15p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar à área de transferência BR SPCLEARQ AIA-PIm-EL-24 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar à área de transferência BR SPCLEARQ AIA-PIm-EL-23 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar à área de transferência BR SPCLEARQ AIA-PIm-EL-22 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, intitulado Teorema de Completude para teorias de primeira ordem. S.l., S.d. S.ass. 22p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar à área de transferência BR SPCLEARQ AIA-PIm-EL-21 Item s.d. Parte de Ayda 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 à área de transferência BR SPCLEARQ AIA-PIm-EL-20 Item s.d. Parte de Ayda Ignez Arruda Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar à área de transferência BR SPCLEARQ AIA-PIm-EL-2 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar à área de transferência BR SPCLEARQ AIA-PIm-EL-19 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar à área de transferência BR SPCLEARQ AIA-PIm-EL-18 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Sobre Certos Sistemas de Lógica Relevante. S.l., S.d. S.ass. 11p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar à área de transferência BR SPCLEARQ AIA-PIm-EL-17 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms. Ayda Ignez Arruda