Mostrando 39 resultados

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

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

La mathématique classiques dans Nfw

  • BR SPCLEARQ FAIA-I-IT472
  • Unidad documental simple
  • 1971-05-03
  • Parte deAyda 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

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Sur une hiérarchies de systèmes formels

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

Lukasiewicz and the Origins of Many-Valued Logic

PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Carta de Marek Palasinski para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT311
  • Unidad documental simple
  • ? - 1983-01-14
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Marek Palasinski para AIA, comunicando seu interesse em vir para o Brasil e relatando suas atividades na Polônia. Cracóvia, 14 jan. 1983. Ass.: Marek. 1p. ms.

Ayda Ignez Arruda

Sur le syst¨¨me NF¦Ø

  • BR SPCLEARQ FAIA-I-IT489
  • Unidad documental simple
  • 1970-05-04
  • Parte deAyda 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-I-IT490
  • Unidad documental simple
  • 1970-04-27
  • Parte deAyda 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-I-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.

Ayda Ignez Arruda

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

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

Remarques sur le système NF1

  • BR SPCLEARQ FAIA-I-IT525
  • Unidad documental simple
  • 1971-05
  • Parte deAyda 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.

Ayda Ignez Arruda

Vasil’év and the development of Many-valued logic

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Resultados 1 a 30 de 39