Paris (França)

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

        Paris (França)

          Termes équivalents

          Paris (França)

            Termes associés

            Paris (França)

              75 Description archivistique résultats pour Paris (França)

              75 résultats directement liés Exclure les termes spécifiques
              Publicação
              BR SPCLEARQ AIA_I_60 · Pièce · 1971-05
              Fait partie de Ayda Ignez Arruda

              COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

               Sans titre
              Publicação
              BR SPCLEARQ AIA_I_39 · Pièce · 1964-11-02
              Fait partie 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.

               Sans titre
              Publicação
              BR SPCLEARQ AIA_I_41 · Pièce · 1977-01-31
              Fait partie de Ayda Ignez Arruda

              ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 – 281, 31 jan. 1977.

               Sans titre
              Publicação
              BR SPCLEARQ AIA_I_38 · Pièce · 1964-06-29
              Fait partie 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.

               Sans titre
              Publicação
              BR SPCLEARQ AIA_I_25 · Pièce · 1970-04-27
              Fait partie 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.

               Sans titre
              Publicação
              BR SPCLEARQ AIA_I_23 · Pièce · 1968-04-29
              Fait partie 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.

               Sans titre
              Publicação
              BR SPCLEARQ AIA_I_24 · Pièce · 1970-05-04
              Fait partie de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.

               Sans titre
              Publicação
              BR SPCLEARQ AIA_I_21 · Pièce · 1967-11-20
              Fait partie 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

               Sans titre
              Publicação
              BR SPCLEARQ AIA_I_22 · Pièce · 1968-01-08
              Fait partie 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.

               Sans titre
              Publicação
              BR SPCLEARQ AIA_I_20 · Pièce · 1969-03-24
              Fait partie 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.

               Sans titre