Mostrando 408 resultados

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

20 resultados con objetos digitales Muestra los resultados con objetos digitales

Ayda Ignez Arruda

Ayda Ignez Arruda

  • BR SPCLEARQ FAIA
  • Fondo
  • 1932 - 2006-01-25
O fundo é constituído de documentos pessoais, administrativos e relacionados a crise de 1981 na Unicamp; correspondência; produção acadêmica e científica; artigos; recortes de jornais e fotografias.

Sin título

Sobre A Teoria dos Tipos

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

Carta de Newton Carneiro Affonso da Costa

  • BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT070
  • Unidad documental simple

    • Parte deAyda Ignez Arruda

Carta de Newton C.A. da Costa para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório científico relativo ao projeto Teoria de Modelos e Aplicações, processo 77/0790.

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.
Carta de AIA para Diderik Batens

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.

Sin título

Carta de AIA para Diderik Batens

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 AIA para Diderik Batens

Carta de AIA para Diderik Batens

  • BR SPCLEARQ FAIA-C-Ca-IT196
  • Unidad documental simple
  • 1982-06-17

    • Parte deAyda Ignez Arruda

Carta, em inglês, de AIA a Diderik Batens, comunicando a finalização do paper (enviado em outro envelope), informando que recebeu proposta da Reidel para publicar seu livro e que planeja ir a Salzburgo
Carta de AIA para Diderik Batens

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

Carta de AIA para Diderik Batens

  • BR SPCLEARQ FAIA-C-Ca-IT194
  • Unidad documental simple
  • 1981-01-13

    • Parte deAyda Ignez Arruda

Carta, em inglês, de AIA a Diderik Batens informando o envio do primeiro rascunho de seu paper, que seu trabalho com Newton da Costa está pronto e que a crise na Unicamp ainda não foi solucionada.

Une sémantique pour le calcul C1

  • BR SPCLEARQ FAIA-PItm-IT441
  • Unidad documental simple
  • [1974-1976]

    • Parte deAyda Ignez Arruda

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Sin título

Resultados 1 a 30 de 408