Visualizar impressão Fechar

Mostrando 38 resultados

Descrição arquivística
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-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
Publicação
BR SPCLEARQ AIA-I-59 · Item · 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.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-I-60 · Item · 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.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-I-61 · Item · 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.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-PIm-A-9 · Item · 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.

Ayda Ignez Arruda