Imprimir vista previa Cerrar

Mostrando 261 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Carta de Andrés Raggio para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT243
  • Unidad documental simple
  • 1982-03-24
  • Parte deAyda Ignez Arruda

Carta, em espanhol, de Andrés Raggio para AIA, descrevendo a situação econômica da Argentina e comunicando interesse em trabalhar no Brasil. El Olvido, 24 mar. 1982. Ass.: Raggio. 1p. dat.

Sin título

Carta de Andrés Raggio para AIA

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

Carta, em espanhol, de Andrés Raggio para AIA, comunicando a data de início do curso e solicitando informações sobre trabalhos científicos. El Olvido, 28 abr. 1982. Ass.: Raggio. 1p. dat.

Sin título

Carta de Bonita Ross para AIA

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

Carta, em inglês, de Bonita Ross para AIA, comunicando o envio de publicação e solicitando endereço da Sociedade Brasileira de Lógica. S.l., 07 fev. 1983. Ass.: Bonita Ross. 1p. dat.

Sin título

Carta de Carlos Di Prisco para AIA

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

Carta, em espanhol, de Carlos Di Prisco para AIA, comunicando a realização do VI Simpósio Latino-Americano de Lógica Matemática e convidando AIA para proferir uma conferência. Caracas, 22 abr. 1982. Ass.: Carlos Di Prisco. 1p. dat. cópia.

Sin título

Telex de Carlos Di Prisco para AIA

Telex, em espanhol, de Carlos Di Prisco para AIA, informando o envio de passagens aéreas. Caracas, S.d. S.ass. 1p. dat.

Sin título

Carta de Cecylia Rauszer para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT265
  • Unidad documental simple
  • 1982-11-15
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Cecylia Rauszer para AIA, lamentando sobre o estado de saúde de AIA e informando sobre sua visita ao Brasil. Warsaw, 15 nov. 1982. Ass.: Cecylia. 1p. dat.

Sin título

Carta de Diderik Batens para AIA

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

Carta, em inglês, de Diderik Batens para AIA, comunicando a publicação de trabalho e enviando separatas. S.l., 22 dez. 1982. Ass.: Diderik. 1p. dat.

Sin título

Carta de Francisco Xavier Caicedo para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT275
  • Unidad documental simple
  • 1982-02-17
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Francisco Xavier Caicedo para AIA, enviando documentos, artigos e solicitando informações sobre possível publicação de artigos no Brasil. Bogotá, 17 fev. 1982. Ass.: Xavier Caicedo. 1p. dat.

Sin título

Cartão de Hristo Smolenov para AIA

Cartão em inglês de Hristo Smolenov, dizendo estar contente com sua recuperação e solicitando a opinião AIA sobre um trabalho científico. [Sofia], S.d. Ass.: Hristo. 1p. ms.

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 Jean Norman para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT290
  • Unidad documental simple
  • 1982-09-02
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Jean Norman para AIA, encaminhando artigo para correções. [Austrália], 02 set. 1982. Ass.: Jean Norman. 1p. dat.

Sin título

Carta de Kazem Sadegh-Zadeh para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT294
  • Unidad documental simple
  • 1982-02-15
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Kazem Sadegh-Zadeh para AIA, comunicando seu contentamento em tê-la recebido em Tecklenburg e informando sobre trabalhos em lógica. [Münster], 15 fev. 1982. Ass.: K. Sadegh-Zadeh. 1p. ms.

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

Cartão postal de Leopoldo Nachbin

Cartão postal de Leopoldo Nachbin e demais participantes da reunião de Análise Funcional para AIA, desejando votos de breve retorno à direção do IMECC. Rio de Janeiro, S.d. Ass.: Leopoldo Nachbin; Mário Matos; Guido Zapata e outros. 1p. ms.

Sin título

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comunicando sobre desenvolvimento de trabalhos científicos. Austrália, 26 abr. - . Ass.: Richard. 1p. ms.

Sin título

Cálculo Proposicional

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Sin título

A teoria de primeira ordem v

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Sin título

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Sin título

Linguagem de Primeira Ordem

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Sin título

O sistema A de Ackermann

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Sin título

Sobre o Sistema G1 de Gentzen

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Sin título

Transformadas no Cálculo Restrito de Predicados

  • BR SPCLEARQ FAIA-Impr-IT505
  • Unidad documental simple
  • 1966-12,
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Sin título

Resultados 61 a 90 de 261