Carta, em inglês, de AIA ao professor Richard Routley, informando que seu artigo com Batens está terminado e que assim que possível enviará uma cópia. Campinas, 13 maio 1982. S.ass. 1p. dat. cópia.
Carta de AIA ao professor Roberto L. O. Cignoli solicitando pagamento dos serviços prestados por José Veríssimo Teixeira, com verba da Financiadora de Estudos e Projetos (FINEP). Campinas, 15 set. 1983. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA ao professor Ryzard Wojcicki, agradecendo e aceitando o convite para ser membro da ?Advisory Board of Studia Logica?. Campinas, 04 jan. 1982. Ass.: Ayda I. Arruda. 1p. dat.
Carta, em inglês, de AIA ao professor S. Gottwald, solicitando que ele escrevesse ao professor Solomon Feferman convidando-o a participar como membership da Association for Symbolic Logic. S.l., 12 abr. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA a Sava Petrov, mencionando a crise na Universidade, comunicando que está escrevendo outro artigo sobre a lógica de Vasil'év e o envio de dois artigos sobre esse assunto. S.l., 30 mar. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA ao professor Sava Petrov, informando recebimento do ensaio e dando conta do fim da crise na universidade. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA para Sava Petrov, comunicando a retomada dos trabalhos administrativos, seua planos para a realização de novos trabalhos científicos e viagens ao exterior. Campinas, 14 mar. 1983. S.ass. 2p. dat. cópia.
Carta, em inglês, de AIA ao professor Solomon Feferman, aprovando proposta de número de membros para a Association for Symbolic Logic e sugerindo a inclusão de um membro. S.l., 12 abr. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA a Solomon Feferman, informando os problemas de comunicação com a ASL e as conseqüências disto para o Comitê Latino-Americano e na organização dos encontros Latino Americanos. Campinas, 16 jun. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA a Steve Giambrone enviando lista de suas publicações, indicando pesquisadores em lógica paraconsistente e informando sobre publicação de Itala M.L. D?Ottaviano. Campinas, 10 fev. 1982. Ass.: Ayda Ignez Arruda. 2p. dat.
Carta, em inglês, de Cecylia Rauszer para AIA, lamentando sobre o estado de saúde de AIA e informando sobre sua visita ao Brasil. Warsaw, 15 nov. 1982. Ass.: Cecylia. 1p. dat.
Carta, em inglês, de J.C. Kuipers para AIA, agradecendo e solicitando maiores informações sobre o livro ?Paraconsistent Logic?. Dordrecht, 23 jul. 1982. Ass.: J.C. Kuipers. 1p. dat.
Ofício GR n. 329/83 de José Aristodemo Pinotti, reitor da Unicamp, para AIA, agradecendo e cancelando o jantar que lhe seria oferecido. Cidade Universitária ?Zeferino Vaz?, 13 abr. 1983. Ass.: José Aristodemo Pinotti. 2p. dat.
Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.
Carta de Maria da Graça Rodrigues, coordenadora do Seminário Castelan, para AIA, comunicando a da data da palestra de AIA. Departamento de Matemática da Universidade Federal de Santa Catarina, [198-]. Ass.: M. Rodrigues. 1p. dat.
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.
Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.
Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.
Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.
Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.
