Sobre o Sistema G1 de Gentzen
Adicionar a área de transferência
Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.
Ayda Ignez Arruda
Sur l’ensemble R dans NFw
Adicionar a área de transferência
Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.
Ayda Ignez Arruda
Unidade de opostos
Adicionar a área de transferência
Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Estudos analisando vários aspectos da lógica
Adicionar a área de transferência
Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.
Ayda Ignez Arruda
Estudos contendo tópicos sobre axiomas
Adicionar a área de transferência
Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Caderno contendo anotações sobre lógicas relevante
Adicionar a área de transferência
Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.
Ayda Ignez Arruda
Estudo sobre a regra do modus ponens
Adicionar a área de transferência
Estudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. ms.
Ayda Ignez Arruda
Teoria de Conjuntos R e cálculos diversos
Adicionar a área de transferência
Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.
Ayda Ignez Arruda
Estudo contendo vários teoremas
Adicionar a área de transferência
Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Estudo de AIA Teoremas em Cw
Adicionar a área de transferência
Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Estudo sobre a completude de C+
Adicionar a área de transferência
Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.
Ayda Ignez Arruda
Estudo de AIA
Adicionar a área de transferência
Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda
