A coleção é composta pelo processo de vida funcional onde constam documentos relativos aos trâmites administrativos e às atividades docentes desde a sua admissão ao seu desligamento, em que se destacam, além de artigos publicados, resumos de artigos apresentados em congressos nacionais e internacionais e certificados de participação em eventos científicos, memorial, plano de trabalho, plano de pesquisa, curriculum vitae e os relatórios de atividades docentes.

A série é composta por artigos, publicados em periódicos e congressos, resumos, relatórios tecnicos, relatório de pesquisa, etc.

Consta no artigo: "In the paper we are concerned with a functional aproach to interpretability. In the firs part we preesent some know notions and rsults. In the second on we propose a general definition of first order interpretability and prove some results invloving this notion."

De acordo com o autor: "Dans on étudie quelques conditions sur M pour que la théorie forcée M. soi saturée. On donne ici quelques conditions (sur M) pour que la théorie M soit [?]-catégorique. Em particulier on montre que Q est [?] catégorique et que ne l'ést pas."

No abstract do artigo consta: "Let r be a finite relational type. The space Str(r) of all structures of type r is naturally equipped with a pseudometric, by saying that the distance of two structures is equal to 1/(1+r) iff a sentence of quantifier rank r can separate the two structures, with r minimal. In this self-contained paper, we give a simple prrof of the convergence of every Cauchy sequence structures of type r. The compactness of Str (r) now follows from an elementary topological argument."

De acordo com o autor: "We show this paper that the process of realizing types for semantic structures is essenciatially the same process of Cauchy completeness of an associated psedometric space."