Mostrando 184 resultados

Descrição arquivística
Ayda Ignez Arruda Campinas (SP)
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Publicação

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

Publicação

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

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

Publicação

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

Ayda Ignez Arruda

Publicação

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

ARRUDA, Ayda I. The Paradox of Russell in the Systems Nfn. Proceedings of the Third Brazilian Conference on Mathematical Logic. [Campinas: SBL-Unicamp], p. 1-2, 1980.

Ayda Ignez Arruda

Projeto

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

Programa

SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 11-17 jul. 1976, Campinas. Programa. Campinas: Unicamp, 8p.

Ayda Ignez Arruda

Processo

Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.

Ayda Ignez Arruda

Processo

Processo n. 1817/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando os diretores AIA, André Maria Pompeu Villalobos e Carlos Alfredo Arguello de suas funções.

Ayda Ignez Arruda

Resultados 41 até 50 de 184