- BR SPCLEARQ AIA-AA-5
- Item
- [1979]
Parte deAyda Ignez Arruda
Relatório de Atividades de AIA abrangendo o período de 06/1977 a 06/1979. Ass.: Ayda Ignez Arruda; Ubiratan D'Ambrósio, diretor do IMECC.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Relatório de Atividades de AIA abrangendo o período de 06/1977 a 06/1979. Ass.: Ayda Ignez Arruda; Ubiratan D'Ambrósio, diretor do IMECC.
Ayda Ignez Arruda
Parte deAyda 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 deAyda 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 deAyda 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 deAyda Ignez Arruda
Atas da eleição para composição da lista tríplice para o cargo de diretor do IMECC, e da 23ª, 24ª e 25ª reunião da congregação do IMECC
Ayda Ignez Arruda
Parte deAyda 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 deAyda 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 deAyda 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 deAyda 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
Parte deAyda Ignez Arruda
Ata da reunião extraordinária da congregação do IMECC, tratando do problema da transferência do professor Tomasz Kowaltowski da Universidade de São Paulo para a Unicamp.
Ayda Ignez Arruda