Mostrando 105 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Further considerations on the Postulate of Separation

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Ayda Ignez Arruda

O paradoxo de Curry-Moh Shaw-Kwei

ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

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

Mathematical Logic

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Ayda Ignez Arruda

Ofício C.V.47/00116

  • BR SPCLEARQ FAIA-AAdm-IT132
  • Unidad documental simple
  • 1981-12-22
  • Parte deAyda Ignez Arruda

Ofício C.V.47/00116 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Bacharelado na Unicamp em 1982. Ass.: Setembrino Petri

Ayda Ignez Arruda

Ofício C.V.47/00119

  • BR SPCLEARQ FAIA-AAdm-IT135
  • Unidad documental simple
  • 1981-12-22
  • Parte deAyda Ignez Arruda

Ofício C.V.47/00119 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Ciência da Computação na Unicamp em 1982. Ass.: Setembrino Petri.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Mathematical Logic in Latin America

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

Ayda Ignez Arruda

Mathematical Logic in Latin America

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.

Ayda Ignez Arruda

Sur le schèma de la sèparation

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

Ayda Ignez Arruda

Termo de outorga

  • BR SPCLEARQ FAIA-AA-Fapesp-DAS-IT038
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Termo de outorga e aceitação de auxílio Fapesp do projeto Aquisição de Separatas registrado como Processo n° 80/0978-5, concedido a AIA.

Processo 1234/81

  • BR SPCLEARQ FAIA-AAdm-IT130
  • Unidad documental simple
  • 1981-03-20
  • Parte deAyda Ignez Arruda

Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.

Ayda Ignez Arruda

Ofício C.V.47/00118

  • BR SPCLEARQ FAIA-AAdm-IT134
  • Unidad documental simple
  • 1981-12-22
  • Parte deAyda Ignez Arruda

Ofício C.V.47/00118 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Estatística na Unicamp em 1982. Ass.: Setembrino Petri

Ayda Ignez Arruda

Rascunho de AIA

Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.

Ayda Ignez Arruda

Carta de Andrés Raggio para AIA

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

Carta, em espanhol, de Andrés Raggio para AIA, comunicando envio de bibliografia e informando endereço em Paris. S.l., 19 ago. 1982. Ass.: Raggio. 1p. ms.

Ayda Ignez Arruda

Resultados 61 a 90 de 105