Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.
Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.
Aerograma, em espanhol, de Ken para AIA, desejando um Feliz 1983, comunicando o envio de um artigo e falando sobre sua estada em Campinas. Annapolis, 05 jan. 1983. Ass.: Ken. 1p. ms.
Aerograma, em inglês, de Ken para AIA, relatando suas atividades em Annapolis e informando a respeito de um mini-curso sobre w-rule a ser proferido. Annapolis, 05 mar. 1983. Ass.: Ken. 1p. ms.
Artigo, 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.
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.
Estudo 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.
Carta da Presidência do Conselho Técnico Administrativo da Fapesp solicitando à professora AIA o envio do relatório científico referente ao processo 82/1543-8. Ass.: Anita Bueno.
Carta, em inglês, de AIA a Francisco Xavier Caicedo, agradecendo correspondência anterior e informando os custos para a publicação de um trabalho no Brasil. S.l., 04 mar. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA ao professor Xavier Caicedo, informando preços e locais para estadia em Campinas e solicitando esclarecimentos quanto ao seu nome oficial. S.l., 16 mar. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA a Graham Priest, agradecendo os votos de boa saúde e aprovando as correções feitas em seu artigo. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA a Hristo Smolenov, agradecendo os votos de Feliz Ano Novo, cumprimentando-o pelo doutorado obtido, informando que não tem pesquisado por problemas de saúde. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA a Hristo Smolenov, comentando sobre o sumário e informando sobre seus trabalhos sobre Vasil'év. Campinas, 14 mar. 1983. S.ass. 1p dat. cópia.
Carta, em inglês, de AIA a Jaime Bohorquez, solicitando cópia de sua dissertação de doutorado e um novo curriculum com o título de sua dissertação de mestrado. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Carta, em inglês, de AIA a Jaime Bohorquez, comunicando não haver vagas no Departamento de Matemática e de Ciência da Computação. Campinas, 13 maio 1982. S.ass. 1p. dat.