Textual

Elements area

Taxonomy

Genre

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        Textual

          Equivalent terms

          Textual

            Associated terms

            Textual

              1957 Archival description results for Textual

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

              Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.

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

              Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

               Untitled
              Apontamentos
              BR SPCLEARQ AIA-PIm-SC-8 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA sobre dualidade entre C1 e C1. S.l., S.d. S.ass. 3p. ms.

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

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

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

              Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.

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

              Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.

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

              Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-6 · Item · 1972-07
              Part of Ayda Ignez Arruda

              Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

               Untitled
              Resumo
              BR SPCLEARQ AIA-PIm-EL-7 · Item · s.d.
              Part of Ayda Ignez Arruda

              Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

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

              Estudo de AIA intitulado Observações sobre um sistema sem a regra do modus ponens. S.l., S.d. Ass.: Ayda Ignez Arruda. 11p. ms.

               Untitled