Caixa 235
Pasta 1
FNCAC, Co, DAIA, Cx. 235, P. 1 ARRUDA, Ayda Ignes. Memorial. 32p.
Pasta 2
FNCAC, Co, DAIA, Cx. 235, P. 2
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa falando sobre Clermont, sobre publicar, no Japão, um trabalho com suas demonstrações e discutindo teoremas. [Clermont]. 29 de novembro de 1969. as: Ayda. 4p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa falando sobre alguns problemas matemáticos, sobre sua viagem a Paris, e pedindo uma sugestão de livro sobre álgebra.
Chamalières. 3 de dezembro de 1969. as: Ayda. 3p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa discutindo teoremas matemáticos, e falando sobre como viajar ajuda a pensar melhor, para resolver os problemas. Chamalières. 4 de dezembro de 1969. as: Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa falando que está trabalhando em sua nota sobre NFω e que está lendo o livro da Dra. Carmen. Clermont. 5 de dezembro de 1969. as:
Ayda. 1p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa falando de seu enstusiasmo para estudar o sistema NFω e criticando as atitudes de Monteiro, chamando-o de neurótico. Clermont. 9 de dezembro de 1969. as: Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa respondendo uma série de questões sobre várias perguntas realizadas anteriormente pelo destinatário em um relatório enviado no dia 7 e uma carta do dia 12.. Clermont. 18 de dezembro de 1969. as: Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa falando sobre problemas de lógica e dizendo que Monteiro é o personagem mais Quixotesco que conheceu. Chamalières. 29 de dezembro de 1969. as: Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa enviando a resolução do problema que lhe foi pedido e falando sobre os poemas de Dona Carmen. s.d.. 30 de dezembro de 1969. as:
Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa agradecendo pela revisão de seu trabalho, discutindo alguns aspectos referentes ao R e comentando sobre o correio na França.
Chamalières. 1 de janeiro de 1970. as: Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa falando sobre os seminários, que não tem conseguido estabelecer amizades fora da faculdade, e sobre alguns problemas matemáticos.
Chamalières. 10 de janeiro de 1970. as: Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa reclamando do comportamento de Guillaume e discutindo problemas e teoremas matemáticos. Chamalières. 16 de janeiro de 1970.
Sem Assinatura. 6p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa comentando que, apesar de todos os problemas de falta de estímulo e isolamento que NCAC sente, ele deveria ficar em Campinas, onde seria possível resolver alguns problemas de administração mais facilmente; dizendo, também, que teme que NCAC deixe o país, o que a seu ver seria uma calamidade e ressaltando a importância dele para que não ocorra a dispersão do grupo de intelectuais que ele reuniu. Chamalières. 19 de janeiro de 1970. as: Ayda. 5p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa dizendo que esclareceu a situação para Guillaume, mencionando que este pretende ir ao Brasil e comentando sobre a necessidade de formar um grupo de estudos no Brasil. Chamalières. 19 de janeiro de 1970. as: Ayda. 5p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa mostrando estar surpresa pelo fato do destinatário ter sido preso como terrorista, demonstrando sua preocupação e comentando sobre o andamento de seu próprio trabalho. Chamalières. 27 de janeiro de 1970. as: Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa mencionando que realizou uma exposição em Chamalières, falando sobre o comportamento de Guillaume, que dessa vez foi normal, e que foi convidada a fazer outra exposição em Lyon. Chamalières. 7 de fevereiro de 1970.
as: Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa avisando que passará na Gauthier para fazer o pagamento das contas das provas corrigidas da nota de NCAC com Diana, e avisando que ele receberá uma carta do Guillaume comunicando que esse não poderá ir ao Brasil naquele ano. Chamalières. 6 de abril de 1970. as: Ayda. 2p.
Carta de Ayda Ignez Arruda a Newton Carneiro Affonso da Costa dizendo que espera que os problemas com a polícia tenham se resolvido e dizendo que teme pelo futuro científico de Campinas, reclamando que sempre procura tranquilidade, mas sempre se depara com o oposto.
Chamalières. 27 de [novembro] de 1970. as: Ayda. 2p.
Carta, em inglês, de Ayda Ignez Arruda a Leon Henkin, professor of department of Mathemathics in University of California, criticando as atitudes do Prof. Lungarzo ao dizer, em carta a Leon Henkin, inverdades sobre o posicionamento dos professores de Campinas sobre um suposto boicote ao Simpósio de Lógica a ser realizado no Chile. Campinas. 23 de fevereiro de 1978. as: Ayda Ignez Arruda. 3p. (Foram enviadas cópias a Rolando Chuaqui, Newton da Costa, Oswaldo Porchat Pereira, Hilary Putnam e Ubiratan D'Ambrosio.)
Carta, em inglês, de Ayda Ignez Arruda a Hilary Putnam, professor of department of Philosophy in Harvard University, apoiando os esforços do professor Chuaqui, dizendo que escreveu a Henkin sobre a atitude desleal de Lungarzo e dizendo que concorda com o professor Tarski a respeito do encontro no Chile. Campinas. 23 de fevereiro de 1978. as: Ayda Ignez Arruda. 1p. (As cópias da carta foram encaminhadas a Rolando Chuaqui e Newton da Costa.)
Pasta 3
FNCAC, Co, DAIA, Cx. 235, P. 3 ARRUDA, Ayda Ignez. Álgebras de conjuntos não clássicas. Seminário de Lógica Algébrica. 10p.
ARRUDA, Ayda Ignez. Álgebras não clássicas. Seminário de Lógica Algébrica. 5p.
ARRUDA, Ayda I. Aspects of the historical development of paraconsistent logic. 43p.
ARRUDA, Ayda I. On Griss’ propotional calculus. 1p.
ARRUDA, Ayda Ignez. Sur la theorie des systèmes formels inconsistants. 13p.
Pasta 4
FNCAC, Co, DAIA, Cx. 235, P. 4 ARRUDA, Ayda I.; COSTA, Newton Carneiro Affonso da; CHUAQUI, Rolando. Mathematical Logic – Proceedings of the First Brazilian Conference (v. 39, n. 4, de setembro de 1978, Lecture Notes in Pure and Applied Mathematics) (obs: Divulgação feita pela editora). 5 exemplares.
ARRUDA, Ayda Ignez. Sur les systèmes NFi de da Costa. Separata de: C. R. Acad. Sc. Paris, t.270, p. 1081-1084, 27 de abril de 1970 (NCAC é citado nesse documento).
ARRUDA, Ayda Ignez. ПPEГЛEД HΑ ПPAHEПPOTИBOPEЧBATA ЛОГИКА. (NCAC é citado nesse documento).
Série de produções manuscritas de Ayda Ignez Arruda. Sistéme N, 3p. Sobre o conjunto de Russell no sistema NFw, 2p. Sur le système NFw, 4p. Nfw, 2p.
Relatório de Viagem, 11 de maio de 1970. 3p.
ARRUDA, A.I.; CHUAQUI, R.; DA COSTA, N.C.A. (eds.) Mathematical Logic in Latin America.
(Proc. Of the IV Latin-American Symp., Santiago, Dece. 1978).
COSTA, Newton Carneiro Affonso da.; ARRUDA, A. I. Further considerations on the postulate of separation. Notices AMS., v.15, n.3, p.555, de abril de 1968. Resenha.
Periódicos:
ARRUDA, Ayda I.; COSTA, Newton C.A. On The Relevant System P and P* and some Related Systems. Campinas: IMECC/UNICAMP, 1980. 23p. (Relatório Interno n. 174). (Este documento encontra-se na Caixa 571 para melhor acomodamento)
Livros:
ARRUDA, Ayda I.; COSTA, Newton C. A. da; SETTE, Antonio Mario. Proceedings of The Third Brazilian Conference on Mathematical Logic, (UFPe – Recife, December 17 – 22, 1979).
Campinas/SP: Unicamp, Setembro 1980. 336 p. (Caixa 577 para melhor acomodamento)