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

              4348 Descrição arquivística resultados para Textual

              4348 resultados diretamente relacionados Excluir termos específicos
              Publicação
              BR SPCLEARQ AIA-I-76 · Item · 1969
              Parte de Ayda Ignez Arruda

              JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969.

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

              JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.

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

              LOLLI, Gabrielle. Un principio di riflessione nella teoria delle classi. Matematiche, Catania, v.28, p.209-228, 1974.

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

              QVARNSTRÖM, Bengt-Olof. On the concept of formalization and partially ordered quantifiers. Linguistics and Philosophy, v.1, p.307-319, 1977.

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

              SAELI, Donato. Problemi di decisione per algebre comesse a logiche a più valori. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur., v. 59, p. 219-223, 1975.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-96 · Item · 1974-03
              Parte de Ayda Ignez Arruda

              SELVI, Roberto. Alcune osservazione sulle algebre cilindriche speciali. Comitato Nazionale per le scienze matematiche del C.N.R, p.191-202, março 1974.

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

              SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Moskva, p.242-257, 1962.

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

              ZAWIRSKI, Sigismond. Les logiques nouvelles et le champ de leur application. Revue de Métaphyisique et de Morale, vol.39, p.503-519, 1932.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-PIm-A-5 · Item · [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.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-PIm-A-10 · Item · 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.

               Ayda Ignez Arruda