Lista de endereços Adicionar a área de transferência BR SPCLEARQ AIA-DP-12 Item s.d. Parte de Ayda Ignez Arruda Lista de endereços
Lista de endereços Adicionar a área de transferência BR SPCLEARQ AIA-DP-12 Item s.d. Parte de Ayda Ignez Arruda Lista de endereços
Leslaw Szczerba Adicionar a área de transferência BR SPCLEARQ AIA-AA-Fapesp-DLS 1978 Parte de Ayda Ignez Arruda
Jerzy Kotas Adicionar a área de transferência BR SPCLEARQ AIA-AA-Fapesp-DJK 1978-1979 Parte de Ayda Ignez Arruda
Interventores na Unicamp Adicionar a área de transferência BR SPCLEARQ AIA-IU Series 1981 Parte de 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