FNCAC
·
Fundo
Documentos pessoais, correspondência, cartões de Natal e postais, produção intelectual própria e de terceiros, impressos, documentação acadêmica, iconografia, periódicos e objetos.
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
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
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
BR SPCLEARQ AIA_I_43
·
Pièce
·
[1978]
Fait partie de Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].
Sans titre
BR SPCLEARQ AIA_I_42
·
Pièce
·
s.d.
Fait partie de Ayda 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.
Sans titre
BR SPCLEARQ AIA_I_39
·
Pièce
·
1964-11-02
Fait partie de Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.
Sans titre
BR SPCLEARQ AIA_I_40
·
Pièce
·
1966-12
Fait partie de Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.
Sans titre
BR SPCLEARQ AIA_I_41
·
Pièce
·
1977-01-31
Fait partie de Ayda Ignez Arruda
ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 281, 31 jan. 1977.
Sans titre