Teoremas de completude e consistência

Elements area

Taxonomy

Subjects

1 Archival description results for Teoremas de completude e consistência

1 results directly related Exclude narrower terms
Informe de apoio
BR SPCLEARQ AIA-PIm-V-13 · Item · s.d.
Part of 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.

 Untitled