Lista de exercícios Adicionar a área de transferência BR SPCLEARQ AIA-AA-DD-4 Item s.d. Parte de Ayda Ignez Arruda Lista de exercícios de AIA, contendo algumas soluções. Ayda Ignez Arruda
Lista de exercícios Adicionar a área de transferência BR SPCLEARQ AIA-AA-DD-2 Item s.d. Parte de Ayda Ignez Arruda Lista de exercícios de AIA, contendo algumas soluções. Ayda Ignez Arruda
Lista de exercícios Adicionar a área de transferência BR SPCLEARQ AIA-AA-DD-3 Item s.d. Parte de Ayda Ignez Arruda Lista de exercícios de AIA, contendo algumas soluções. Ayda Ignez Arruda
Lista de exercícios Adicionar a área de transferência BR SPCLEARQ AIA-AA-DD-5 Item s.d. Parte de Ayda Ignez Arruda Lista de exercícios de AIA, contendo algumas soluções. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-V-2 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-V-9 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-SC-6 Item s.d. Parte de Ayda Ignez Arruda Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-5 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-6 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms. Ayda Ignez Arruda
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-CP-7 Item s.d. Parte de Ayda Ignez Arruda Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms. Ayda Ignez Arruda