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.
Calendário das exposições do Departamento de Matemática da Universidade Federal de Santa Catarina, contendo nomes datas e títulos de palestras a serem realizadas.
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.
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Non Classical Logics Model Theory & Computability. Ass.: [Einar Fredriksson]
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]
Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Non Classical Logics Model Theory & Computability. Ass.: [Einar Fredriksson]
Aviso de férias, comunicando o período a ser desfrutado por AIA. Campinas, 02 dez. 1982. Ass.: Ayda I. Arruda; Marly de Lara Romeo, diretoria de pessoal;
Ato do reitor, exonerando oito diretores de institutos de seus cargos, dentre eles, AIA, diretora do IMECC. Ass.: Plínio Alves de Moraes, reitor da Unicamp.