Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-3 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-4 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-8 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-9 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Independência de axiomas. 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-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 a área de transferência BR SPCLEARQ AIA-PIm-EL-8 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-EL-15 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Sistema DL. 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-16 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a á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 a á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