Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-SC-3 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-SC-4 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-SC-5 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, sem título, tratando sobre completude, consistência e decidibilidade de C. S.l., S.d. S.ass. 12p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-12 Item s.d. Parte de Ayda 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 de Ayda 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 de Ayda 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 de Ayda 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 de Ayda 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 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 a á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