Textual

Área de elementos

Taxonomia

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

              1935 Descrição arquivística resultados para Textual

              1935 resultados diretamente relacionados Excluir termos específicos
              Resumos de trabalhos
              BR SPCLEARQ AIA-I-98 · Item · 1975-03-03
              Parte de Ayda Ignez Arruda

              SIMPÓSIO de Lógica Matemática, 3-5 mar. 1975, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 73p.

              Ayda Ignez Arruda
              Resumos
              BR SPCLEARQ AIA-I-100 · Item · 1976-07-10
              Parte de Ayda Ignez Arruda

              SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 10-17 jul. 1976, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 66p.

              Ayda Ignez Arruda
              Resumos
              BR SPCLEARQ AIA-I-101 · Item · 1978-12-17
              Parte de Ayda Ignez Arruda

              SIMPÓSIO Latino-Americano de Lógica Matemática, 4, 17-22 dez. 1978, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 54p.

              Ayda Ignez Arruda
              Resumo
              BR SPCLEARQ AIA-PIm-EL-7 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

              Ayda Ignez Arruda
              Resumo
              BR SPCLEARQ AIA-I-33 · Item · 1968
              Parte de Ayda Ignez Arruda

              ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

              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
              Resumo
              BR SPCLEARQ AIA-I-32 · Item · 1982
              Parte de Ayda Ignez Arruda

              ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

              Ayda Ignez Arruda
              Resumo
              BR SPCLEARQ AIA-Cv-23 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Resumo dos curriculum vitae dos [componentes] do grupo chileno sob orientação de R. Chuaqui, constando as atividades acadêmicas de Irene Mikenberg, Manuel Corrada, María Victoria Marshall e Maria Gloria Schwaze. S.l. S.d. S.ass. 2p. dat. cópia.

              Ayda Ignez Arruda
              Resumo
              BR SPCLEARQ AIA-PIm-A-4 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.

              Ayda Ignez Arruda