Textual

Área de elementos

Taxonomía

Tipo

Código

Nota(s) sobre el alcance

    Nota(s) sobre el origen

      Mostrar nota(s)

        Términos jerárquicos

        Textual

          Términos equivalentes

          Textual

            Términos asociados

            Textual

              4348 Descripción archivística results for Textual

              4348 resultados directamente relacionados Excluir términos relacionados
              Publicação
              BR SPCLEARQ AIA-PIm-A-5 · Unidad documental simple · [1981]
              Parte de Ayda Ignez Arruda

              Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.

               Sin título
              Publicação
              BR SPCLEARQ AIA-PIm-A-10 · Unidad documental simple · s.d.
              Parte de Ayda Ignez Arruda

              Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

               Sin título
              Resenha
              BR SPCLEARQ AIA-PIm-V-4 · Unidad documental simple · s.d.
              Parte de Ayda Ignez Arruda

              Resenha de AIA, sobre o texto Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év. S.l., S.d. S.ass. 12p. dat.

               Sin título
              Resumo
              BR SPCLEARQ AIA-PIm-V-5 · Unidad documental simple · [1983]
              Parte de Ayda Ignez Arruda

              Resumo, em inglês, do trabalho de AIA a ser apresentado no VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência em Salzburg, intitulado "N.A. Vasilév: a Forerunner of Paraconsistent Logic". [IMECC, 1983]. S.ass. 5p. dat. cópia

               Sin título
              Publicação
              BR SPCLEARQ AIA-PIm-V-6 · Unidad documental simple · [1983]
              Parte de Ayda Ignez Arruda

              Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA-PIm-V-8 · Unidad documental simple · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA-PIm-V-13 · Unidad documental simple · s.d.
              Parte 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA-PIm-V-15 · Unidad documental simple · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.l., S.d. S.ass. 14p. dat.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA-PIm-SC-3 · Unidad documental simple · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA-PIm-SC-4 · Unidad documental simple · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms.

               Sin título