Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms.
Ayda Ignez Arrudas.l.
3440 Descrição arquivística resultados para s.l.
Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.
Ayda Ignez ArrudaEstudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez ArrudaArtigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.
Ayda Ignez ArrudaEstudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda