Affichage de 38 résultats

Description archivistique
Carta de recomendação
BR SPCLEARQ AIA_C_Ca_45 · Pièce · 1983-05-31
Fait partie 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.

Sans titre
Carta de apresentação de proposta
BR SPCLEARQ AIA_C_Ca_46 · Pièce · 1982-06-16
Fait partie 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.

Sans titre
Carta de informações
BR SPCLEARQ AIA_AA_Fapesp_DNC_5 · Pièce · 1978-08-04
Fait partie 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.

Sans titre
Publicação
BR SPCLEARQ AIA_I_59 · Pièce · 1964
Fait partie de Ayda Ignez Arruda

COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.

Sans titre
Publicação
BR SPCLEARQ AIA_I_60 · Pièce · 1971-05
Fait partie de Ayda Ignez Arruda

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Sans titre
Publicação
BR SPCLEARQ AIA_I_61 · Pièce · 1976-06
Fait partie de Ayda Ignez Arruda

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Sans titre
Publicação
BR SPCLEARQ AIA_PIm_A_9 · Pièce · s.d.
Fait partie de Ayda Ignez Arruda

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Sans titre