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
Informe de apoio Adicionar a á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