Imprimir vista previa Cerrar

Mostrando 38 resultados

Descripción archivística
Carta de recomendação
BR SPCLEARQ AIA_C_Ca_45 · Unidad documental simple · 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.

Sin título
Carta de apresentação de proposta
BR SPCLEARQ AIA_C_Ca_46 · Unidad documental simple · 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.

Sin título
Carta de informações
BR SPCLEARQ AIA_AA_Fapesp_DNC_5 · Unidad documental simple · 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.

Sin título
Publicação
BR SPCLEARQ AIA_I_59 · Unidad documental simple · 1964
Parte 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.

Sin título
Publicação
BR SPCLEARQ AIA_I_60 · Unidad documental simple · 1971-05
Parte 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.

Sin título
Publicação
BR SPCLEARQ AIA_I_61 · Unidad documental simple · 1976-06
Parte 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.

Sin título
Publicação
BR SPCLEARQ AIA_PIm_A_9 · Unidad documental simple · s.d.
Parte 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.

Sin título