SELVI, Roberto. Alcune osservazione sulle algebre cilindriche speciali. Comitato Nazionale per le scienze matematiche del C.N.R, p.191-202, março 1974.
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.
Apostila do Reitor Zeferino Vaz contratando JCVM como Professor Assistente Doutor, MS-3, em RDIDP, junto à Área de Ótica do DESCM/ IF/ Unicamp. Cam Aesitor Zeferino Vaz e Hugo Crespi respondendo pelo Coordenador da Administração Geral
Apostila n.°100/83 declarando afastamento de JCVM do DFA / IF / Unicamp para realizar contatos científicos junto ao Bell Laboratories, New Jersey, USA até 29 de maio de 1983.as. José Aristodemo Pinotti, Reitor da Unicamp e Zuhair Warwar, Coordenador da Administração Geral
Apresentação das atividades informando as atividades a serem desenvolvidas pela professora Cecylia Rauszer os benefícios às comunidades científicas do país.
Álvaro Alberto da Mota e Silva apresenta ao presidente Getúlio Vargas a exposição de motivos em que o Conselho Nacional de Pesquisas solicita a criação do Instituto Nacional da Amazônia
Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.
Artigo, em inglês, de Richard Routley e Andrea Loparic intitulado Arruda-da Costa P Systems And Adjacent Non-Replacement Systems. S.l., [1976-1978]. S.ass. 19p. dat. cópia.
Cartão de A. Bärwolff a JCVM acusando o recebimento da cópia do artigo “Spatially resolved observation of carrier ...” publicado no Appl. Phys. Lett. Vol. 44 (N° 5) 1984. Berlin, 17 de setembro de 1984. ass. A.Bärwolff. 1p. (impresso manuscrito)
Artigo de Hugo Regis dos Reis, "A Topografia na Engenharia Civil", publicado na Revista do Clube de Engenharia, ano 98, n.431 - set/out de1984. Rio de Janeiro, set. 1984. 4p. (dat.)
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.
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.
ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)
ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.
Ata da 24ª reunião extraordinária da congregação do IMECC, tratando da eleição para diretor do instituto e ainda do projeto Financiadora de Estudos e Projetos (FINEP).
Ata da 39ª reunião da congregação do IMECC, tratando da indicação de membros do IMECC para Estudo de Problemas Brasileiros, processos de doutorado e mestrado, e outros assuntos.
Ata da 40a reunião da congregação do IMECC, discutindo propostas de remodelação da Unicamp, processos de convalidação de créditos, reformulações na ata anterior e outros assuntos.
Ata da primeira sessão extraordinária do Conselho Diretor da Unicamp, tratando da elaboração da lista de candidatos a futuro reitor e informando sobre os procedimentos do processo eleitoral.
Ata da reunião extraordinária da congregação do IMECC, tratando do problema da transferência do professor Tomasz Kowaltowski da Universidade de São Paulo para a Unicamp.
Ata da reunião extraordinária da congregação do IMECC, tratando da nomeação de interventores na Unicamp e convocando assembléias permanentes para discutir este assunto.