Mostrando 38 resultados

Descrição arquivística
Carta de solicitação
BR SPCLEARQ AIA-AA-Fapesp-DAS-1 · Item · 1980-05-16
Parte de Ayda Ignez Arruda

Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando o pagamento de separatas de artigos publicados por ela e por Newton da Costa nas Atas do IV Simpósio Latino-Americano de Lógica Matemática.

Ayda Ignez Arruda
Formulário de solicitação
BR SPCLEARQ AIA-AA-Fapesp-DNC-1 · Item · [1977-09?]
Parte de Ayda Ignez Arruda

Formulário de pedido de auxílios Fapesp preenchido por Newton da Costa para projeto de pesquisa intitulado Teoria dos Modelos e Aplicações a ser desenvolvido na Unicamp, Usp e Universidade Católica do Chile.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-AA-Fapesp-DNC-5 · Item · 1978-08-04
Parte de Ayda Ignez Arruda

Carta de Newton C.A. da Costa para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório científico relativo ao projeto Teoria de Modelos e Aplicações, processo 77/0790.

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
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-Ct-16 · Item · s.d.
Parte de Ayda Ignez Arruda

Carta, em inglês, de Richard [Routley] para Newton C. A. da Costa, encaminhando o estudo Relevant da Costa Logics and their Extensions. S.l., S.d. Ass.: Richard. 2p. dat.

Ayda Ignez Arruda
Resenha
BR SPCLEARQ AIA-I-31 · Item · 1982-02
Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Ayda Ignez Arruda
Resumo
BR SPCLEARQ AIA-I-32 · Item · 1982
Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Ayda Ignez Arruda
Resumo
BR SPCLEARQ AIA-I-33 · Item · 1968
Parte de Ayda Ignez Arruda

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Ayda Ignez Arruda