7 resultados com objetos digitais Mostrar os resultados com objetos digitais
Parte deNewton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC comentando o seu receio sobre os rumos do desenvolvimento científico na cidade de Campinas e o que essa comunidade está passando. Chamalières, 27 de jan. de 1970. 2p. (ms)
Newton Carneiro Affonso da Costa
Parte deNewton Carneiro Affonso da Costa
Carta de Michel Paty a NCAC agradecendo o envio do livro sobre os fundamentos da lógica, comentando sobre o mesmo e pedindo desculpas por não ter agradecido antes. [Paris], 7 de jan. de 1983. 1p. (ms)
Parte deNewton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC comentando sobre a exposição de seu trabalho e de sua viagem à Europa. Chamalières, 7 de fev. de 1970. 2p. (ms)
Parte deNewton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC falando de sua estadia em Chamalières e do resultado de suas pesquisas. Chamalières, 1 de jan. de 1970. 2p. (ms)
2 Reunião do Comitê Consultivo das Nações Unidas
Parte deJoaquim da Costa Ribeiro
Joaquim da Costa Ribeiro e outros na Comissão que discutia as aplicações pacíficas da Energia Atômica [2ème Reunion du Comité Consultativ de l'ONU pour la Conférence des Applications Pacifiques de l'Energie Nucléaire. Paris - Mai - 1955]
Joaquim da Costa Ribeiro
Carta de Lourdes [Delevallée] a Newton Bernardes
Parte deNewton Bernardes
058 ? Carta de Lourdes [Delevallée] a Newton Bernardes informando-o sobre sua vida e agradecendo pelas notícias que ele enviara.
Newton Bernardes
Logique sans igalité et (k,p)-quasivalence
Parte deAyda Ignez Arruda
MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.
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
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
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
Une sémantique pour le calcul C1=. C.R
Parte deAyda 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.
Ayda Ignez Arruda
Sur une hiérarchies de systèmes formels
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
Sur un Théorème de Hilbert et Bernays
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
Sur les systèmes Nfi de da Costa
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 265, p. 641-644, 20 nov. 1967
Ayda Ignez Arruda
Sur certains hiérarchies de calculs de prédicats
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.
Ayda Ignez Arruda
Sur certains algèbres de classes non classiques
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certains algèbres de classes non classiques. C.R. Acad. Sc. Paris, t.268, p. 677-680, 31 mar. 1969
Ayda Ignez Arruda
Remarques sur les systèmes Cn. C.R. Acad. Sc
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975
Ayda Ignez Arruda
Le schéma de la séparation dans les systèmes NFn
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.
Ayda Ignez Arruda
La mathématique classiques dans Nfw
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta, em espanhol, de M. Dickmann para AIA, comunicando seu interesse em vir à Campinas quando de sua participação no VI SLALM e solicitando uma resposta quanto sua vinda ao Brasil. Paris, 19 jan. 1982. Ass.: Marcel Dickmann. 1p.
Ayda Ignez Arruda
Carta de Alexandre A. Martins Rodrigues para AIA
Parte deAyda Ignez Arruda
Carta de Alexandre A. Martins Rodrigues para AIA, comunicando a impossibilidade de participar em bancas de concurso e indicando o período mais apropriado para tal. Saint Martin-d?Hers, 25 abr. 1983. Ass.: Alexandre A. Martins Rodrigues. 1p. ms.
Ayda Ignez Arruda
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM informando à possibilidade que as despesas com a sua vinda ao Brasil poderiam serem pagas pelo do CNRS. Paris, 12 de julho de 1978. ass. [Michel]. 1p. (anexo envelope)
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM desculpando a impossibilidade de viajar ao Brasil, explicando as dificuldades de deixar a França e agradecendo a colaboração de JCVM. Paris, 10 de julho de 1978. ass. [Michel]. 2p. (anexo envelope)
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM pedindo confirmação da sua visita a Campinas. Paris, 12 de junho de 1978. ass. [Michel]. 1p. (anexo envelope)
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM enviando seu Curriculum Vitae e concordando em estar em Campinas de 15 de setembro a 15 de outubro. Paris, 22 de março de 1978. ass. [Michel]. 1p. (anexo: Curriculum-Vitae. 7p.)
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM comunicando que como não recebeu nenhuma resposta dele ou do Rogério C. C. Leite sobre a sua estadia em Campinas, ele aceitou o convite do APS Meeting e ficará duas semanas nos USA e afirmando que setembro será uma época interessante para visitar a Campinas. Paris, 9 de fevereiro de 1978. ass. [Michel]. 2P
José Carlos Valladão de Matos