Sobre o Sistema G1 de Gentzen
Adicionar a área de transferência
Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.
Ayda Ignez Arruda
Sobre A Teoria dos Tipos
Adicionar a área de transferência
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Ayda Ignez Arruda
Sobre a regra do Modus Ponens
Adicionar a área de transferência
Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Sistema DL
Adicionar a área de transferência
Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.
Ayda Ignez Arruda
Silogismos Não-Aristotélicos
Adicionar a área de transferência
Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.
Ayda Ignez Arruda
Semântica para D1
Adicionar a área de transferência
Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Adicionar a área de transferência
Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.
Ayda Ignez Arruda
Resumos de trabalhos
Adicionar a área de transferência
SIMPÓSIO de Lógica Matemática, 3-5 mar. 1975, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 73p.
Ayda Ignez Arruda
Resumo dos curriculum vitae do grupo chileno sob orientação de R. Chuaqui
Adicionar a área de transferência
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 do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Adicionar a área de transferência
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
Requerimento
Adicionar a área de transferência
Requerimento de AIA ao reitor da Unicamp, solicitando os benefícios previstos na Lei Complementar n.318, de 10.03.83. Ass.: Ayda Ignez Arruda.
Reportagem da Revista Istoé Universidade Burra
Adicionar a área de transferência
Reportagem da revista Istoé intitulada Universidade burra, escrita por Roberto de Pompeu Toledo, a respeito dos atos do reitor da Unicamp.
Ayda Ignez Arruda
Reportagem
Adicionar a área de transferência
A nota da comunidade. S.l.: s.n., 1 nov. [1981?]. 3. caderno, Educação, p.23.
Ayda Ignez Arruda
Reportagem
Adicionar a área de transferência
A Unicamp busca apoio em Brasília. S.l.: s.n., 12 nov. 1981.
Ayda Ignez Arruda
Reportagem
Adicionar a área de transferência
Carta aberta para o povo. Diário do Povo, Campinas, 24 out. 1981. Local, p.7.
Ayda Ignez Arruda
Reportagem
Adicionar a área de transferência
Comissão de negociações faz segredo. S.l.: s.n., 10 nov. [1981?]. Educação, p.14.
Ayda Ignez Arruda
Reportagem
Adicionar a área de transferência
Demissões reativam a greve dos funcionários. Folha de São Paulo, São Paulo, 20 out. 1981.
Ayda Ignez Arruda
Reportagem
Adicionar a área de transferência
FOLHETIM. Unicamp: Intervenção x participação. São Paulo: Folha de São Paulo, n.250, 1 nov. 1981. Suplemento.
Ayda Ignez Arruda
Reportagem
Adicionar a área de transferência
HC: pressão nas eleições. Diário do Povo, Campinas, 24 out. 1981. Local, p.7.
Ayda Ignez Arruda
Reportagem
Adicionar a área de transferência
MASCARENHAS, Sérgio. A comunidade científica e a Unicamp. Folha de São Paulo, São Paulo, 20 out. [1981?].
Ayda Ignez Arruda
Reportagem
Adicionar a área de transferência
Os funcionários decidem votar. Folha de São Paulo, São Paulo, 22 out. 1981.
Ayda Ignez Arruda
