s.l.

Zone des éléments

Référentiel

Lieux

Code

Note(s) sur la portée et contenu

    Note(s) sur la source

      Note(s) d'affichage

        Termes hiérarchiques

        s.l.

          Termes équivalents

          s.l.

            Termes associés

            s.l.

              3440 Description archivistique résultats pour s.l.

              3440 résultats directement liés Exclure les termes spécifiques
              Publicação
              BR SPCLEARQ AIA-I-3 · Pièce · 1980
              Fait partie de Ayda Ignez Arruda

              ARRUDA, Ayda I. A Survey of Paraconsistent Logic. Mathematical Logic in Latin America, s.l., 1980, p. 1 – 41.

               Sans titre
              Publicação
              BR SPCLEARQ AIA-I-11 · Pièce · 1977
              Fait partie de Ayda Ignez Arruda

              ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability. s.l., p. 3-24, 1977

               Sans titre
              Publicação
              BR SPCLEARQ AIA-I-34 · Pièce · 1974
              Fait partie de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.

               Sans titre
              Publicação
              BR SPCLEARQ AIA-I-37 · Pièce · 1970-03
              Fait partie de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

               Sans titre
              Publicação
              BR SPCLEARQ AIA-I-45 · Pièce · 1980-06 - 1980-09
              Fait partie de Ayda Ignez Arruda

              BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.

               Sans titre
              Publicação
              BR SPCLEARQ AIA-I-62 · Pièce · 1971
              Fait partie de Ayda Ignez Arruda

              DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

               Sans titre
              Relatório
              BR SPCLEARQ AIA-I-64 · Pièce · 1975
              Fait partie de Ayda Ignez Arruda

              DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

               Sans titre
              Publicação
              BR SPCLEARQ AIA-I-66 · Pièce · 1977
              Fait partie de Ayda Ignez Arruda

              FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.

               Sans titre
              Publicação
              BR SPCLEARQ AIA-I-79 · Pièce · s.d.
              Fait partie de Ayda Ignez Arruda

              LARGEAULT, Jean. La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Gödel, p.56-79.

               Sans titre
              Publicação
              BR SPCLEARQ AIA-I-82 · Pièce · 1971-03
              Fait partie de Ayda Ignez Arruda

              LUKASIEWICZ, Jan. On the principle of contradiction in Aristotle. Tradução para inglês de Vernon Wedin. Rev. Metaphys, v.XXIV, p. 485-509, mar. 1971. Título original: Über den Satz des Widersprachs bei Aristoteles.

               Sans titre