s.l.

Área de elementos

Taxonomía

Lugares

Código

Nota(s) sobre el alcance

    Nota(s) sobre el origen

      Mostrar nota(s)

        Términos jerárquicos

        s.l.

          Términos equivalentes

          s.l.

            Términos asociados

            s.l.

              3440 Descripción archivística results for s.l.

              3440 resultados directamente relacionados Excluir términos relacionados
              Relatório
              BR SPCLEARQ AIA-PItm-18 · Unidad documental simple · s.d.
              Parte de Ayda Ignez Arruda

              Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.

               Sin título
              Publicação
              BR SPCLEARQ AIA-I-3 · Unidad documental simple · 1980
              Parte de Ayda Ignez Arruda

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

               Sin título
              Publicação
              BR SPCLEARQ AIA-I-11 · Unidad documental simple · 1977
              Parte 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

               Sin título
              Publicação
              BR SPCLEARQ AIA-I-34 · Unidad documental simple · 1974
              Parte 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.

               Sin título
              Publicação
              BR SPCLEARQ AIA-I-37 · Unidad documental simple · 1970-03
              Parte 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.

               Sin título
              Publicação
              BR SPCLEARQ AIA-I-45 · Unidad documental simple · 1980-06 - 1980-09
              Parte de Ayda Ignez Arruda

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

               Sin título
              Publicação
              BR SPCLEARQ AIA-I-62 · Unidad documental simple · 1971
              Parte 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.

               Sin título
              Relatório
              BR SPCLEARQ AIA-I-64 · Unidad documental simple · 1975
              Parte 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.

               Sin título
              Publicação
              BR SPCLEARQ AIA-I-66 · Unidad documental simple · 1977
              Parte de Ayda Ignez Arruda

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

               Sin título
              Publicação
              BR SPCLEARQ AIA-I-79 · Unidad documental simple · s.d.
              Parte 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.

               Sin título