Affichage de 1 résultats

Description archivistique
Informe de apoio
BR SPCLEARQ AIA_PIm_V_13 · Pièce · s.d.
Fait partie de Ayda Ignez Arruda

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.

Sans titre