Textual

Área de elementos

Taxonomia

Genre

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
              Relatório
              BR SPCLEARQ AIA-AA-DSLALM-9 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.

               Ayda Ignez Arruda
              Relatório
              BR SPCLEARQ JCR-DPP-71 · Item · 1954-02-09
              Parte de Joaquim da Costa Ribeiro 23-11

              Análise de água, elaborada por JCR, procedência Terezópolis avaliando a caracterização e composição físico-química da mesma. S.l. 09.02.1954. Ass.: ( __ ) 2p. (impr.dat.c/tb) 
              Relatório
              BR SPCLEARQ AIA-PItm-18 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.

               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
              Relatório
              BR SPCLEARQ AIA-I-64 · Item · 1975
              Parte de Ayda Ignez Arruda

              DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

               Ayda Ignez Arruda
              Relatório
              BR SPCLEARQ AIA-AA-DSLALM-8 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.

               Ayda Ignez Arruda
              Relatório
              BR SPCLEARQ AIA-I-9 · Item · 1978
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. N.A. Vasili’év e a Lógica Paraconsistente. Campinas: Unicamp, 1978. 60 p. (Relatório Interno nº 140, 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-14 · Item · 1982-02
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda Ignez. Remarks on da Costa Paraconsistent set theories. Campinas: Unicamp, fev. 1982. 25p. (Relatório Interno, n° 197, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

               Ayda Ignez Arruda
              Relatório científico
              BR SPCLEARQ AIA-AA-Fapesp-DJK-10 · Item · 1979-12-03
              Parte de Ayda Ignez Arruda

              Relatório científico de AIA relativo à visita do professor Jerzy Kotas.

               Ayda Ignez Arruda
              Relatório de atividades
              BR SPCLEARQ AIA-AA-4 · Item · [1977]
              Parte de Ayda Ignez Arruda

              Relatório de Atividades de AIA abrangendo o período de 06/1975 a 06/1977. Ass.: Ayda Ignez Arruda; Ubiratan D'Ambrósio, diretor do IMECC.

               Ayda Ignez Arruda