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
Sur le schèma de la sèparation
Adicionar a área de transferência
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.
Ayda Ignez Arruda
Sur un Théorème de Hilbert et Bernays
Adicionar a área de transferência
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.
Ayda Ignez Arruda
Sur une hiérarchies de systèmes formels
Adicionar a área de transferência
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.
Ayda Ignez Arruda
Telex de AIA
Adicionar a área de transferência
Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda
Ayda Ignez Arruda
Telex de AIA
Adicionar a área de transferência
Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda
Ayda Ignez Arruda
Telex de AIA ao professor Richard Routley
Adicionar a área de transferência
Telex, em inglês, de AIA a Richard Routley aprovando a publicação de seu artigo. IMECC, 19 jan. 1983. S.ass. 1p. dat.
Ayda Ignez Arruda
Telex de Carlos Di Prisco para AIA
Adicionar a área de transferência
Telex, em espanhol, de Carlos Di Prisco para AIA, informando o envio de passagens aéreas. Caracas, S.d. S.ass. 1p. dat.
Ayda Ignez Arruda
Telex de Carlos Di Prisco para AIA
Adicionar a área de transferência
Telex, em espanhol, de Carlos Di Prisco para AIA, comunicando possibilidades de obter financiamento para viagem e solicitando outras informações. Caracas, 01 fev. 1983. 1p. dat.
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
Transformadas no Cálculo Restrito de Predicados
Adicionar a área de transferência
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.
Ayda Ignez Arruda
Une sémantique pour le calcul C1=. C.R
Adicionar a área de transferência
ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.
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
