Relação de pessoal administrativo do sr. Octávio Catanhede, Superintendente do PROTEC a pessoa desconhecida, demonstrando a necessidade de mais dois funcionários para o CFBT – GB. PROTEC, s.d. Ass. Octávio Catanhede. . (anexo bilhete resumindo assunto; e consta obs. de que não constou quatro nomes que estavam no expediente de 4.7.1964 – Doc. nº1; este expediente não está anexo)
Estudo feito pela Coordenação Geral de Programas com base nos dados fornecidos pelo PROTEC enviados ao Ministro de Estado da Educação e Cultura, visando a efetivação e execução dos objetivos a que o PROTEC tinha por proposta. s.l. s.d. S. ass. 7p. cópia datil. (anexo 4p. cópia datil., orçamento para 1964, do PROTEC; Orçamento do CFBT – GB, 2p. datil.; convênios 1963/1964, 1p. datil.; orçamento do PROTEC, 1p.; orçamento do CFBT – GB, 1p. datil.).
Extrato bancário, em francês do Union de Banques Suisses Genève, demonstrando a movimentação financeira da conta de JCR por seu filho Sérgio Christiano de Leers Costa Ribeiro. S.l. 30.06.1961. S.ass. 1p. (impr.) (FJCR, F, 3)
Carta, em inglês, de Nicola Grana para AIA, enviando trabalho e solicitando outros ainda não publicados na Itália. S.l., S.d. Ass.: Nicola Grana. 1p. ms.
Carta, em inglês, de Richard [Routley] para Newton C. A. da Costa, encaminhando o estudo Relevant da Costa Logics and their Extensions. S.l., S.d. Ass.: Richard. 2p. 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.
Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.
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.
