Textual

Elements area

Taxonomy

Genre

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        Textual

          Equivalent terms

          Textual

            Associated terms

            Textual

              1935 Archival description results for Textual

              1935 results directly related Exclude narrower terms
              Informe de apoio
              BR SPCLEARQ AIA-PIm-CP-3 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-CP-4 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-CP-8 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-CP-9 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.

               Untitled
              Publicação
              BR SPCLEARQ AIA-PIm-EL-1 · Item · s.d.
              Part of Ayda Ignez Arruda

              Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-2 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-8 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-15 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-16 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. ms.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-24 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

               Untitled