Campinas (SP)

Área de elementos

Taxonomia

Locais

Código

Nota(s) de âmbito

    Nota(s) de fonte(s)

      Nota(s) de exibição

        Termos hierárquicos

        Campinas (SP)

          Termos equivalentes

          Campinas (SP)

            Termos associados

            Campinas (SP)

              299 Descrição arquivística resultados para Campinas (SP)

              299 resultados diretamente relacionados Excluir termos específicos
              Publicação
              BR SPCLEARQ AIA_PIm_A_3 · Item · s.d.
              Parte de Ayda Ignez Arruda

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

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA_PIm_A_8 · Item · s.d.
              Parte de 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.

               Ayda Ignez Arruda
              Resumo
              BR SPCLEARQ AIA_PIm_V_5 · Item · [1983]
              Parte de 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

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA_PIm_V_6 · Item · [1983]
              Parte de 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.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA_PIm_V_7 · Item · [1982]
              Parte de 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.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA_PIm_EL_3 · Item · s.d.
              Parte de 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.

               Ayda Ignez Arruda
              Projeto
              BR SPCLEARQ AIA_PItm_12 · Item · 1983-08
              Parte de 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.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA_PItm_23 · Item · 1981
              Parte de 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.

               Ayda Ignez Arruda
              Relatório
              BR SPCLEARQ AIA_I_2 · Item · s.d.
              Parte de 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.)

               Ayda Ignez Arruda
              Relatório
              BR SPCLEARQ AIA_I_4 · Item · 1980-02
              Parte de 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)

               Ayda Ignez Arruda