Mostrando 4 resultados

Descrição arquivística
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
Carta de recomendação
BR SPCLEARQ AIA-C-Ca-45 · Item · 1983-05-31
Parte de Ayda Ignez Arruda

Carta de AIA ao editor de Mathematical Reviews, dizendo não ser a pessoa indicada para dar o parecer e sugerindo o professor Newton C.A. da Costa. Campinas, 31 maio 1983. Ass.: Ayda I. Arruda. 1p. dat.

Ayda Ignez Arruda
Carta de apresentação de proposta
BR SPCLEARQ AIA-C-Ca-46 · Item · 1982-06-16
Parte de Ayda Ignez Arruda

Carta de AIA ao professor Newton C.A. da Costa sugerindo algumas discussões sobre a Association for Symbolic Logic e sobre o problema de patrocínio para as reuniões regionais. Campinas, 16 jun. 1982. S.ass. 1p. dat. cópia.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-C-Ca-18 · Item · 1981-01-13
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