Campinas (SP)

Elements area

Taxonomy

Places

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        Campinas (SP)

          Equivalent terms

          Campinas (SP)

            Associated terms

            Campinas (SP)

              204 Archival description results for Campinas (SP)

              204 results directly related Exclude narrower terms
              Publicação
              BR SPCLEARQ AIA_PIm_A_3 · Item · s.d.
              Part of Ayda Ignez Arruda

              Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.

               Untitled
              Publicação
              BR SPCLEARQ AIA_PIm_A_8 · Item · s.d.
              Part of Ayda Ignez Arruda

              Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.

               Untitled
              Resumo
              BR SPCLEARQ AIA_PIm_V_5 · Item · [1983]
              Part of Ayda Ignez Arruda

              Resumo, em inglês, do trabalho de AIA a ser apresentado no VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência em Salzburg, intitulado "N.A. Vasilév: a Forerunner of Paraconsistent Logic". [IMECC, 1983]. S.ass. 5p. dat. cópia

               Untitled
              Publicação
              BR SPCLEARQ AIA_PIm_V_6 · Item · [1983]
              Part of Ayda Ignez Arruda

              Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.

               Untitled
              Publicação
              BR SPCLEARQ AIA_PIm_V_7 · Item · [1982]
              Part of Ayda Ignez Arruda

              Artigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. [Unicamp, 1982] S.ass. 26p. dat.

               Untitled
              Publicação
              BR SPCLEARQ AIA_PIm_EL_3 · Item · s.d.
              Part of Ayda Ignez Arruda

              Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.

               Untitled
              Projeto
              BR SPCLEARQ AIA_PItm_12 · Item · 1983-08
              Part of Ayda Ignez Arruda

              Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PItm_23 · Item · 1981
              Part of Ayda Ignez Arruda

              Notas de aula, em inglês, de Ryszard Wojcicki, do curso intitulado Topics in the theory of propositional logics. [Unicamp], 1981. Ass.: Ryszard Wojcicki. 116p. ms. cópia.

               Untitled
              Relatório
              BR SPCLEARQ AIA_I_2 · Item · s.d.
              Part of Ayda Ignez Arruda

              ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

               Untitled
              Relatório
              BR SPCLEARQ AIA_I_4 · Item · 1980-02
              Part of Ayda Ignez Arruda

              ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

               Untitled