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

              20 Descrição arquivística resultados para Textual

              20 resultados diretamente relacionados Excluir termos específicos
              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-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-83 · Item · 1976
              Parte de Ayda Ignez Arruda

              MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-7 · Item · 1971-05-03
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-21 · Item · 1967-11-20
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 265, p. 641-644, 20 nov. 1967

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-25 · Item · 1970-04-27
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-38 · Item · 1964-06-29
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-20 · Item · 1969-03-24
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-22 · Item · 1968-01-08
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-23 · Item · 1968-04-29
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.

               Ayda Ignez Arruda