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-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
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-13 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms.

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

              Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

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

              Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

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

              Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.

               Untitled