Mostrando 407 resultados

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

19 resultados con objetos digitales Muestra los resultados con objetos digitales

Carta de AIA para Diderik Batens

  • BR SPCLEARQ FAIA-C-Ca-IT195
  • Unidad documental simple
  • 1982-05-11
  • Parte deAyda Ignez Arruda

Carta, em inglês, de AIA a Diderik Batens, acusando recebimento de sua carta e da segunda versão de seu paper, dizendo ter alguns comentários sobre ele, e informando seu retorno à direção do IMECC.

Carta de AIA para Diderik Batens

  • BR SPCLEARQ FAIA-C-Ca-IT197
  • Unidad documental simple
  • 1982-10-06
  • Parte deAyda Ignez Arruda

Carta, em inglês, de AIA a Diderik Batens, agradecendo sua carta e dizendo estar bem confiante com o tratamento e que espera em breve retornar a fazer pesquisas. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.

Sin título

Carta de Anil Nerode para AIA

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

Carta, em inglês, de Anil Nerode para AIA, apresentando o professor Jaime Bohorquez. S.l., 25 abr. 1982. Ass.: Anil Nerode. 2p. dat. cópia.

Sin título

Carta de Carlos Di Prisco para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT258
  • Unidad documental simple
  • 1983-03-10
  • Parte deAyda Ignez Arruda

Carta, em espanhol, de Carlos Di Prisco para AIA, comunicando pedido de auxílio para viagem e informando as dificuldades políticas e econômicas na Venezuela. Caracas, 10 mar. 1983. Ass.: Carlos Di Prisco. 1p. ms.

Sin título

Carta de Diderik Batens para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT267
  • Unidad documental simple
  • 1982-01-21
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, informando sobre trabalho a ser desenvolvido em conjunto. Gent, 21 jan. 1982. Ass.: Diderik. 1p. dat.

Sin título

Carta de Diderik Batens para AIA

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

Carta, em inglês, de Diderik Batens para AIA, sugerindo alterações ao artigo elaborado em conjunto. Gent, 19 abr. 1982. Ass.: Diderik. 1p. dat.

Sin título

Carta de Diderik Batens para AIA

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

Carta, em inglês, de Diderik Batens para AIA, comunicando revisões nos artigos. Gent, 19 abr. 1982. Ass.: Diderik. 1p. dat.

Sin título

Carta de Diderik Batens para AIA

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

Carta, em inglês, de Diderik Batens para AIA, comunicando envio de artigo e solicitando correções. Gent, 04 maio 1982. Ass.: Diderik. 1p. dat.

Sin título

Carta de Diderik Batens para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT273
  • Unidad documental simple
  • 1982-10-25
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, informando sobre os trabalhos a serem publicados e desejando sua recuperação. S.l., 25 out. 1982. Ass.: Diderik. 1p. dat.

Sin título

Cartão de Francisco Xavier Caicedo para AIA

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

Cartão, em inglês, de Francisco Xavier Caicedo e Carmem para AIA, desejando boas festas e rápida recuperação. S.l., 21 dez. 1982. Ass.: Xavier Caicedo; Carmem. 1p. ms.

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

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

Carta, em inglês, de Jean Norman para AIA, solicitando a devolução do artigo corrigido rapidamente. [Austrália], 10 nov. 1982. Ass.: Jean Norman. 1p. ms.

Sin título

Carta de Nicola Grana para AIA

Carta, em inglês, de Nicola Grana para AIA, comunicando interesse pelos estudos de Lógica Paraconsistente. [Itália, 198-]. Ass.: Nicola Grana. 1p. ms.

Sin título

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comentando sobre artigos e trabalhos científicos. Austrália, 10 dez. [1982]. Ass.: Richard. 1p. ms.

Sin título

Sobre A Teoria dos Tipos

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., 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

On Griss propositional calculus

  • BR SPCLEARQ FAIA-Impr-IT475
  • Unidad documental simple
  • 1971-09
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Sin título

On the Postulate of Separation

  • BR SPCLEARQ FAIA-Impr-IT478
  • Unidad documental simple
  • 1968
  • Parte deAyda Ignez Arruda

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Sin título

Mathematical Logic in Latin America

  • BR SPCLEARQ FAIA-Impr-IT496
  • Unidad documental simple
  • 1982-02
  • Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Sin título

Mathematical Logic in Latin America

  • BR SPCLEARQ FAIA-Impr-IT497
  • Unidad documental simple
  • 1982
  • Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Sin título

Sur le schèma de la sèparation

  • BR SPCLEARQ FAIA-Impr-IT502
  • Unidad documental simple
  • 1970-03
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

Sin título

Resultados 271 a 300 de 407