Textual

Área de elementos

Taxonomia

Genre

Código

Nota(s) de âmbito

    Nota(s) de fonte(s)

      Nota(s) de exibição

        Termos hierárquicos

        Textual

          Termos equivalentes

          Textual

            Termos associados

            Textual

              1935 Descrição arquivística resultados para Textual

              1935 resultados diretamente relacionados Excluir termos específicos
              Publicação
              BR SPCLEARQ AIA-I-5 · Item · s.d.
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-10 · Item · 1971-09
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-12 · Item · 1978-06
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-15 · Item · 1975-05-21
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-16 · Item · s.d.
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda Ignez. Sistemas Formais Inconsistentes e Teoria dos Conjuntos. s.l., p. 18-25, s.d.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-18 · Item · 1977
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics. Mathematical Logic: Proceedings of the First Brazilian Conference, Nova Iorque, p. 9-29, 1977.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-29 · Item · s.d.
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 – 138, s.d.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-35 · Item · 1966
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-39 · Item · 1964-11-02
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-40 · Item · 1966-12
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

               Ayda Ignez Arruda