Imprimir vista previa Cerrar

Mostrando 49 resultados

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

Carta de North Holland Pub.Co.

Carta de North Holland Pub. Co. para AIA comunicando erros nos cálculos dos royalties do livro Proceedings of the IV Latin American Symposium on Mathematical Logic e informando o envio do valor correto. Ass.: Einar Fredriksson

Carta de North Holland Pub.Co.

Carta de North Holland Pub. Co. para AIA comunicando o envio de crédito pela venda das publicações Non Classical Logics Model Theory & Computability e Proceedings of the IV Latin American Symposium on Mathematical Logic referente ao ano de 1982. Ass.: Einar Fredriksson

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

Carta de Georg Dorn

  • BR SPCLEARQ FAIA-C-Cp-IT279
  • Unidad documental simple
  • 1983-02-25
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Georg Dorn, organização do VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência, para AIA, convidando-a e solicitando título do trabalho a ser apresentado. Salzburg, 25 fev. 1983. Ass.: Georg Dorn. 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-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 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

Wroctaw: Polish Academy of Sciences

  • BR SPCLEARQ FAIA-Impr-IT519
  • Unidad documental simple
  • 1979-10
  • Parte deAyda Ignez Arruda

BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979.

Sin título

Une sémantique pour le calcul C1

  • BR SPCLEARQ FAIA-Impr-IT526
  • Unidad documental simple
  • 1976-06
  • Parte deAyda 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.

Sin título

Aviso de pagamento de North Holland Pub. Co.

Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]

Aviso de pagamento de North Holland Pub. Co.

Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Proceedings of the IV Latin American Symposium on Mathematical Logic. Ass.: [Einar Fredriksson]

Aviso de pagamento de North Holland Pub. Co.

Aviso de pagamento de North Holland Pub. Co. para AIA comunicando crédito pela venda de publicação Non Classical Logics Model Theory & Computability. Ass.: [Einar Fredriksson]

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

La mathématique classiques dans Nfw

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

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

Sin título

Sur le syst¨¨me NF¦Ø

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

Sin título

Sur les systèmes Nfi de da Costa

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

Sin título

Resultados 1 a 30 de 49