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

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

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

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

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

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

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

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

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

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

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

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

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

Electron-Hole Drop Velocities as a Probe in Germanium

BR SPCLEARQ CJCVM-I-IT246
Item
1977

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

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

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

Language

Subject

Paris

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Paris

Paris

Equivalent terms

Paris

Associated terms

Paris

36 Archival description results for Paris

Export

Results

Broader term

No. narrower terms