Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-12 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-4 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-9 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-10 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado O sistema A de Ackermann. 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-11 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-18 Item s.d. Parte deAyda 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 a área de transferência BR SPCLEARQ AIA-PIm-EL-22 Item s.d. Parte deAyda 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 a área de transferência BR SPCLEARQ AIA-PIm-EL-23 Item s.d. Parte deAyda 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 a área de transferência BR SPCLEARQ AIA-PIm-EL-26 Item 1975-09-05 Parte deAyda Ignez Arruda Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-27 Item s.d. Parte deAyda Ignez Arruda Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms. Ayda Ignez Arruda
