Introduction: A Short History of the Latin American Logic Symposia
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.
Ayda Ignez Arruda
Calculs de descriptions pour les systèmes formels inconsistants
Parte deAyda 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
Parte deAyda 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
Une sémantique pour le calcul C1
Parte deAyda 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
Une sémantique pour le calcul C1
Parte deAyda Ignez Arruda
Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.
Ayda Ignez Arruda
Carta de Newton Carneiro Affonso da Costa
Parte deAyda 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.