José Varonil de Albuquerque Lima - Engenheiro Civil Adicionar a área de transferência BR SPCLEARQ AHM-F-26 Item 1936 Parte deAllyrio Hugueney de Mattos
José Fernandes Lima - Engenheiro Civil Adicionar a área de transferência BR SPCLEARQ AHM-F-25 Item 1936 Parte deAllyrio Hugueney de Mattos
Jorge da Rocha Fragoso - Engenheiro Civil e Eletricista Adicionar a área de transferência BR SPCLEARQ AHM-F-24 Item 1936 Parte deAllyrio Hugueney de Mattos
John Reginald Cotrim - Engenheiro Civil Adicionar a área de transferência BR SPCLEARQ AHM-F-23 Item 1936 Parte deAllyrio Hugueney de Mattos
João Luiz Lopes Bentes - Engenheiro Civil e Industrial Adicionar a área de transferência BR SPCLEARQ AHM-F-22 Item 1936 Parte deAllyrio Hugueney de Mattos
Informe de apoio Adicionar a área de transferência BR SPCLEARQ AIA-PIm-V-2 Item s.d. Parte deAyda 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 deAyda 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 deAyda 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 deAyda 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 deAyda Ignez Arruda Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms. Ayda Ignez Arruda