Term browse - Paris - Historical Archives - Centre for Logic, Epistemology and History of Science

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)

José Carlos Valladão de Matos

Sur certains hiérarchies de calculs de prédicats

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

Part of 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.

Untitled

Sur certaines hiérarchies de calculs propositionnels

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

Part of 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

Untitled

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Part of 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.

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

Joaquim da Costa Ribeiro

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

Part of Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro em Paris

Untitled

Sur certains algèbres de classes non classiques

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

Part of 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

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

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

BR SPCLEARQ FAIA-Impr-IT548
Item
1976

Part of Ayda Ignez Arruda

MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.

Untitled

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-IT117
Item
1978/03/22

Part of 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)

José Carlos Valladão de Matos

La mathématique classiques dans Nfw

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

Part of 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.

Untitled

Sur certaines hiérarchies de calculs propositionnels

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

Part of 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.

Untitled

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

BR SPCLEARQ JCR-F-IT37
Item
1955-05

Part of 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]

Untitled

Joaquim da Costa Ribeiro

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

Part of Joaquim da Costa Ribeiro

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

Untitled

Carta de M. Dickmann para AIA

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

Part of 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.

Untitled

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

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

Part of 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.

Untitled

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

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

Part of 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

Untitled

Sur certaines hiérarchies de calculs propositionnels

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

Part of 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.

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

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

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

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

Language

Paris

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Paris

Paris

Equivalent terms

Paris

Associated terms

Paris

35 Archival description results for Paris

Export

Results

Broader term

No. narrower terms