Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.
Ayda Ignez ArrudaTextual
1935 Descrição arquivística resultados para Textual
Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Desenvolvimento de C1. S.l., S.d. S.ass. 5p. ms. cópia.
Ayda Ignez ArrudaEstudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.
Ayda Ignez Arruda