- BR SPCLEARQ AIA-I-38
- Item
- 1964-06-29
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.
Ayda Ignez Arruda
Parte deAyda 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
Parte deAyda 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
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
Parte deAyda Ignez Arruda
ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)
Ayda Ignez Arruda
Parte deAyda 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.
Ayda Ignez Arruda
Parte deAyda 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.
Ayda Ignez Arruda
O currículo dos novos secretários: Itala Maria Loffredo D'Ottaviano
Parte deItala Maria Loffredo D’Ottaviano
O currículo dos novos secretários: Itala Maria Loffredo D'Ottaviano