Carta, em inglês, de John T. Baldwin a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 28 maio 1976. Ass.: John T. Baldwin. 1p. dat. cópia.
Sin títulos.l.
3440 Descripción archivística results for s.l.
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Sin títuloArtigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.
Sin títuloRascunho de AIA, intitulado Sobre os cálculos de predicados de Vasil'év, contendo vários cálculos relacionados. S.l., S.d. S.ass. 5p. ms.
Sin títuloEstudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms
Sin títuloEstudo de AIA, intitulado Capítulo I: Os Cálculos Cn. S.l., S.d. S.ass. 18p. dat. cópia.
Sin títuloEstudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.
Sin títuloEstudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.
Sin títuloEstudo 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.
Sin títuloEstudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.
Sin título