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