Paris (França)

Elements area

Taxonomy

Places

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        Paris (França)

          Equivalent terms

          Paris (França)

            Associated terms

            Paris (França)

              75 Archival description results for Paris (França)

              75 results directly related Exclude narrower terms
              Publicação
              BR SPCLEARQ AIA_I_60 · Item · 1971-05
              Part of 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.

               Untitled
              Publicação
              BR SPCLEARQ AIA_I_39 · Item · 1964-11-02
              Part of 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.

               Untitled
              Publicação
              BR SPCLEARQ AIA_I_41 · Item · 1977-01-31
              Part of 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.

               Untitled
              Publicação
              BR SPCLEARQ AIA_I_38 · Item · 1964-06-29
              Part of 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.

               Untitled
              Publicação
              BR SPCLEARQ AIA_I_25 · Item · 1970-04-27
              Part of 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.

               Untitled
              Publicação
              BR SPCLEARQ AIA_I_23 · Item · 1968-04-29
              Part of 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.

               Untitled
              Publicação
              BR SPCLEARQ AIA_I_24 · Item · 1970-05-04
              Part of 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.

               Untitled
              Publicação
              BR SPCLEARQ AIA_I_21 · Item · 1967-11-20
              Part of 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

               Untitled
              Publicação
              BR SPCLEARQ AIA_I_22 · Item · 1968-01-08
              Part of 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.

               Untitled
              Publicação
              BR SPCLEARQ AIA_I_20 · Item · 1969-03-24
              Part of 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.

               Untitled