Mostrando 406 resultados

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

18 resultados con objetos digitales Muestra los resultados con objetos digitales

Considerações sobre os Sistemas Fomais NFn

ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.

Ayda Ignez Arruda

On the Imaginary Logic of N.A. Vasil'év

  • BR SPCLEARQ FAIA-I-IT477
  • Unidad documental simple
  • 1978-06
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Ayda Ignez Arruda

Ata da reunião extraordinária da congregação do IMECC

  • BR SPCLEARQ FAIA-AAdm-A-IT145
  • Unidad documental simple
  • 1978-04-10
  • Parte deAyda Ignez Arruda

Ata da primeira sessão extraordinária do Conselho Diretor da Unicamp, tratando da elaboração da lista de candidatos a futuro reitor e informando sobre os procedimentos do processo eleitoral.

Ayda Ignez Arruda

Ata da 40a reunião da congregação do IMECC

  • BR SPCLEARQ FAIA-AAdm-A-IT150
  • Unidad documental simple
  • 1981-10-08
  • Parte deAyda Ignez Arruda

Ata da 40a reunião da congregação do IMECC, discutindo propostas de remodelação da Unicamp, processos de convalidação de créditos, reformulações na ata anterior e outros assuntos.

Ayda Ignez Arruda

Ofício GR 985/83

  • BR SPCLEARQ FAIA-AAdm-IT138
  • Unidad documental simple
  • 1983-10-03
  • Parte deAyda Ignez Arruda

Ofício GR. 985/83 de José Aristodemo Pinotti para AIA solicitando a conclusão dos trabalhos sobre a sistematização das bibliotecas da Universidade. Ass.: José Aristodemo Pinotti.

Ayda Ignez Arruda

Ato do reitor

  • BR SPCLEARQ FAIA-IU-AR-IT158
  • Unidad documental simple
  • 1981-10-16
  • Parte deAyda Ignez Arruda

Ato do reitor, exonerando oito diretores de institutos de seus cargos, dentre eles, AIA, diretora do IMECC. Ass.: Plínio Alves de Moraes, reitor da Unicamp.

Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo

  • BR SPCLEARQ FAIA-IU-AR-IT160
  • Unidad documental simple
  • 1981-10-17
  • Parte deAyda Ignez Arruda

Diário Oficial do Estado de São Paulo, descrevendo os atos do reitor da Unicamp, designando Frederico Pimentel Gomes como diretor do IMECC.

Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo

  • BR SPCLEARQ FAIA-IU-AR-IT161
  • Unidad documental simple
  • [1981-10-24]
  • Parte deAyda Ignez Arruda

Diário Oficial do Estado de São Paulo, contendo portaria do reitor, tornando sem efeito a nomeação de alguns diretores de institutos e designando novos diretores para outros.

Ayda Ignez Arruda

Comunicado do gabinete do reitor da Unicamp

  • BR SPCLEARQ FAIA-IU-CNM-IT165
  • Unidad documental simple
  • 1981-10-21
  • Parte deAyda Ignez Arruda

Comunicado do gabinete do reitor da Unicamp, esclarecendo alguns fatos relativos aos atos do reitor. Cidade Universitária "Zeferino Vaz

Ayda Ignez Arruda

Carta de AIA para Diderik Batens

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

Carta, em inglês, de AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.

Ayda Ignez Arruda

Requerimento

Requerimento de AIA ao reitor da Unicamp, solicitando os benefícios previstos na Lei Complementar n.318, de 10.03.83. Ass.: Ayda Ignez Arruda.

Curriculum vitae

Curriculum vitae de AIA. S.l. [1981].

Ayda Ignez Arruda

Biografia [pós-morte]

Biografia [pós-morte], em inglês, de AIA, escrita por Roberto Cignoli. S.ass.

Uma Questão de Lógica

ARRUDA, Ayda Ignez. Uma Questão de Lógica. Revista Brasileira de Filosofia. [São Paulo, v. XIII, fasc. 50], p. 261-264, s.d.

Ayda Ignez Arruda

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

Un calcul des applications

CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971.

Ayda Ignez Arruda

Resultados 121 a 150 de 406