Imprimir vista previa Cerrar

Mostrando 16 resultados

Descripción archivística
Ayda Ignez Arruda Ayda Ignez Arruda Europa Inglés
Imprimir vista previa Ver :

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

  • BR SPCLEARQ FAIA-Impr-IT506
  • Unidad documental simple
  • 1977-01-31
  • 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.

Sin título

Sur une hiérarchies de systèmes formels

  • BR SPCLEARQ FAIA-Impr-IT504
  • Unidad documental simple
  • 1964-11-02
  • 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.

Sin título

Sur un Théorème de Hilbert et Bernays

  • BR SPCLEARQ FAIA-Impr-IT503
  • Unidad documental simple
  • 1964-06-29
  • 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.

Sin título

Carta de Paolo Bottura para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT320
  • Unidad documental simple
  • ? - 1982-03-12
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Paolo Bottura para AIA, expondo questões sobre um artigo de Ayda. Montalto Dora, 12 mar. 1982. Ass.: Paolo Bottura. 2p. dat.

Sin título

Carta de Paolo Bottura para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT319
  • Unidad documental simple
  • ? - 1982-05-05
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Paolo Bottura para AIA, informando sobre trabalho científico e solicitando cópia de artigos. Montalto Dora, 05 maio 1982. Ass.: Paolo Bottura. 1p. dat.

Sin título

Carta de Marek Palasinski para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT310
  • Unidad documental simple
  • ? - 1982-02-03
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Marek Palasinski para AIA, comunicando dificuldades políticas na Polônia e remetendo endereço e nome de acompanhante de viagem para AIA. Cracóvia, 03 fev. 1982. Ass.: Marek. 1p. ms.

Sin título

Carta de M. Dickmann para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT309
  • Unidad documental simple
  • ? - 1982-01-19
  • 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.

Sin título

Carta de Kazem Sadegh-Zadeh para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT295
  • Unidad documental simple
  • 1982-12-20
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Kazem Sadegh-Zadeh para AIA, agradecendo o cartão de natal recebido, retribuindo e desejando vê-la em breve em Tecklenburg. [Münster], 20 dez. 1982. Ass.: Kazem & Family. 1p. ms.

Sin título

Carta de J.C. Kuipers para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT286
  • Unidad documental simple
  • 1983-11-22
  • Parte deAyda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, solicitando maiores informações sobre o livro ?The Logical Views of N. A. Vasil?ev?. Dordrecht, 22 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.

Sin título

Carta de J.C. Kuipers para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT285
  • Unidad documental simple
  • 1983-11-16
  • Parte deAyda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, indagando seu interesse em publicar o livro ?A Survey of Paraconsistent Logic? e solicitando que ela escreva diretamente ao professor Hintikka. Dordrecht, 16 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.

Sin título

Carta de J.C. Kuipers para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT284
  • Unidad documental simple
  • 1982-07-23
  • Parte deAyda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, agradecendo e solicitando maiores informações sobre o livro ?Paraconsistent Logic?. Dordrecht, 23 jul. 1982. Ass.: J.C. Kuipers. 1p. dat.

Sin título

Carta de J.C. Kuipers para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT283
  • Unidad documental simple
  • 1982-04-23
  • Parte deAyda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, indagando sobre possível interesse da D. Reidel Publishing Company em publicar o livro ?Paraconsistent Logic?. Dordrecht, 23 abr. 1982. Ass.: J.C. Kuipers. 1p. dat.

Sin título

Carta de Georg Henrik von Wright para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT278
  • Unidad documental simple
  • 1983-06-28
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Georg Henrik von Wright para AIA, agradecendo o envio do artigo e comentando os trabalhos sobre lógica paraconsistente. Helsinki, 28 jun. 1983. Ass.: Georg Henrik von Wright. 1p. dat.

Sin título

Carta de Bernd Wegner para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT250
  • Unidad documental simple
  • 1982-04-26
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Bernd Wegner para AIA, agradecendo pela ajuda e pelo envio de pareceres de artigos. Berlim, 26 abr. 1982. Ass.: [Bernd Wegner]. 1p. dat.

Sin título

Carta de Alexandre A. Martins Rodrigues para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT242
  • Unidad documental simple
  • 1983-04-25
  • 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.

Sin título