Showing 38 results

Archival description
Paris
Print preview
Card view Table view
3 results with digital objects Show results with digital objects
Une sémantique pour le calcul C1=. C.R
BR SPCLEARQ FAIA-Impr-IT506 · Item · 1977-01-31
Part of 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. Untitled
Une sémantique pour le calcul C1
BR SPCLEARQ FAIA-Impr-IT526 · Item · 1976-06
Part of 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. Untitled
Sur une hiérarchies de systèmes formels
BR SPCLEARQ FAIA-Impr-IT504 · Item · 1964-11-02
Part of 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. Untitled
Sur un Théorème de Hilbert et Bernays
BR SPCLEARQ FAIA-Impr-IT503 · Item · 1964-06-29
Part of Ayda 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. Untitled
Sur les systèmes Nfi de da Costa
BR SPCLEARQ FAIA-Impr-IT490 · Item · 1970-04-27
Part of Ayda 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. Untitled
Sur le syst¨¨me NF¦Ø
BR SPCLEARQ FAIA-Impr-IT489 · Item · 1970-05-04
Part of Ayda 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. Untitled
Remarques sur le système NF1
BR SPCLEARQ FAIA-Impr-IT525 · Item · 1971-05
Part of 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. Untitled
Carta manuscrita de [Michel] Voos a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT110 · Item · 1976/01/08
Part of José Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM solicitando informações sobre moradia, salários e passeios no Brasil. ass. [Michel] Voos. Paris, 9 de maio de 1976. 1p (anexo envelope) José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT111 · Item · 1976/05/09
Part of José Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM agradecendo as informações e convidando e JCVM a trabalhar com ele. ass. [Michel] Voos. Paris, 20 de maio de 1976. 1p. (anexo envelope) José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT114 · Item · 1977/10/24
Part of José Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM perguntando sobre o andamento do trabalho de JCVM e um possível Congresso em Campinas e expressando o seu desejo de estar em Campinas em torno da Páscoa para trabalharem juntos se possível. Paris, 26 de dezembro de 1977. ass. [Michel] 1p. (anexo envelope) José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT116 · Item · 1978/02/09
Part of José 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
BR SPCLEARQ CJCVM-C-Cp-IT119 · Item · 1978/07/10
Part of José 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
BR SPCLEARQ CJCVM-C-Cp-IT108 · Item · 1975/09/24
Part of José Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM informando e perguntando sobre experiências cientificas e oferecendo novamente o seu laboratório em Paris. Paris, 7 de novembro de 1975. ass. [Michel]. 1p. (anexo envelope) José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT112 · Item · 1976/05/20
Part of José Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM desejando um feliz ano novo e indagando quando eles se encontrarão novamente. Paris, 3 de janeiro de 1977. ass. [Michel]. 1p. (anexo envelope) José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT115 · Item · 1977/12/26
Part of José 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
Carta manuscrita de [Michel] Voos a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT107 · Item · 1975/11/07
Part of José Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM agradecendo a acolhida recebida no Brasil e colocando o seu laboratório em Paris a disposição de JCVM. Paris, 24 de setembro de 1975. ass. [Michel]. 1p. (anexo envelope) José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT109 · Item · 1975/11/07
Part of José Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM agradecendo e retribuindo os votos de boas festas e indagando sobre os novos os experimentos. Paris, 8 de janeiro de 1976 ass. [Michel]. (anexo envelope) José Carlos Valladão de Matos