- BR SPCLEARQ AIA-I-26
- Item
- 1980
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
Ofício GR-015/80 de Plínio Alves de Moraes, reitor da Unicamp, a Ubiratan D’Ambrósio, diretor do IMECC, solicitando a elaboração de lista sêxtupla para a escolha do novo diretor. Campinas, 09 jan. 1980. Ass.: Plínio Alves de Moraes. 1p. dat. cópia
Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
Ata da 24ª reunião extraordinária da congregação do IMECC, tratando da eleição para diretor do instituto e ainda do projeto Financiadora de Estudos e Projetos (FINEP).
Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
Relatório de Atividades de AIA abrangendo o período de 06/1979 a 06/1981. Ass.: Ayda Ignez Arruda; Antonio Mário Antunes Sette, diretor associado.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Notas de aula, em inglês, de Ryszard Wojcicki, do curso intitulado Topics in the theory of propositional logics. [Unicamp], 1981. Ass.: Ryszard Wojcicki. 116p. ms. cópia.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
SCHNEIDER, José Benedito. Educação, Pesquisa e Administração Universitária. ADUNICAMP: Campinas, 1981, 1p.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Carta, em inglês, de AIA a Diderik Batens informando o envio do primeiro rascunho de seu paper, que seu trabalho com Newton da Costa está pronto e que a crise na Unicamp ainda não foi solucionada.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
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