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 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
              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-17 · Item · 1977-08
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, 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-36 · Item · 1980-05
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)

               Ayda Ignez Arruda
              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