Term browse - Paris - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT110
Item
1976/01/08

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)

Sem título

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-Impr-IT485
Item
1969-03-24

Parte de Ayda 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 certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT486
Item
1967-11-20

Parte de Ayda 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

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Parte 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.

Ayda Ignez Arruda

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Item
1976-06

Parte 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.

Ayda Ignez Arruda

Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT65
Item
1948-05-01

Parte de Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro em Paris

Joaquim da Costa Ribeiro

Sur certains algèbres de classes non classiques

BR SPCLEARQ FAIA-Impr-IT484
Item
1969-03-31

Parte de Ayda 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

Sur une hiérarchies de systèmes formels

BR SPCLEARQ FAIA-Impr-IT504
Item
1964-11-02

Parte 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.

Ayda Ignez Arruda

Logique sans igalité et (k,p)-quasivalence

BR SPCLEARQ FAIA-Impr-IT548
Item
1976

Parte de Ayda 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

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT111
Item
1976/05/09

Parte de 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)

Sem título

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT114
Item
1977/10/24

Parte de 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)

Sem título

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT116
Item
1978/02/09

Parte de 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.)

Sem título

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT119
Item
1978/07/10

Parte de 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)

Sem título

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT108
Item
1975/09/24

Parte de 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)

Sem título

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT112
Item
1976/05/20

Parte de 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)

Sem título

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT115
Item
1977/12/26

Parte de 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

Sem título

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT117
Item
1978/03/22

Parte de José 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)

Sem título

Electron-Hole Drop Velocities as a Probe in Germanium

BR SPCLEARQ CJCVM-I-IT246
Item
1977

Parte de José Carlos Valladão de Mattos

Electron-Hole Drop Velocities as a Probe in Germanium. In: Lattice Dynamics International Conference, Paris, 1977, Flamarion Series, p. 234-237.

José Carlos Valladão de Mattos

La mathématique classiques dans Nfw

BR SPCLEARQ FAIA-Impr-IT472
Item
1971-05-03

Parte de Ayda 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

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT488
Item
1968-04-29

Parte de Ayda 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

2 Reunião do Comitê Consultivo das Nações Unidas

BR SPCLEARQ JCR-F-IT37
Item
1955-05

Parte de Joaquim 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

BR SPCLEARQ JCR-F-IT66
Item
1948-05-01

Parte de Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro em frente ao prédio do Museu de História Natural "Jardin des plantes"

Joaquim da Costa Ribeiro

Carta de M. Dickmann para AIA

BR SPCLEARQ FAIA-C-Cp-IT309
Item
? - 1982-01-19

Parte de Ayda 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

Le schéma de la séparation dans les systèmes NFn

BR SPCLEARQ FAIA-Impr-IT473
Item
1975-05-26

Parte de Ayda 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

Remarques sur les systèmes Cn. C.R. Acad. Sc

BR SPCLEARQ FAIA-Impr-IT480
Item
1975-05-21

Parte de Ayda 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

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT487
Item
1968-01-08

Parte de Ayda 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 le syst¨¨me NF¦Ø

BR SPCLEARQ FAIA-Impr-IT489
Item
1970-05-04

Parte de 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.

Ayda Ignez Arruda

Sur les systèmes Nfi de da Costa

BR SPCLEARQ FAIA-Impr-IT490
Item
1970-04-27

Parte de 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.

Ayda Ignez Arruda

Sur un Théorème de Hilbert et Bernays

BR SPCLEARQ FAIA-Impr-IT503
Item
1964-06-29

Parte de 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.

Ayda Ignez Arruda

Une sémantique pour le calcul C1=. C.R

BR SPCLEARQ FAIA-Impr-IT506
Item
1977-01-31

Parte 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.

Ayda Ignez Arruda

Idioma

Assunto

Paris

Taxonomia

Código

Nota(s) de âmbito

Nota(s) de fonte(s)

Nota(s) de exibição

Termos hierárquicos

Paris

Paris

Termos equivalentes

Paris

Termos associados

Paris

36 Descrição arquivística resultados para Paris

Exportar

Resultados

Termo geral

Sem termos específicos