Mostrando 229 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Rascunho de AIA

Rascunho de AIA contendo ementa para exame de transferência da discplina MA-561

Sin título

Caderno de AIA

  • BR SPCLEARQ FAIA-AA-DD-IT123
  • Unidad documental simple
  • 1973-10-07
  • Parte deAyda Ignez Arruda

Caderno de AIA contendo anotações sobre história da matemática e da lógica e planos de aulas.

Sin título

Plano [de pesquisa]

Plano [de pesquisa] elaborado por AIA para Walter, intitulado Teorias dos Reticulados (Lógica Algébrica).

Sin título

Carta de Ayda Ignez de Arruda

  • BR SPCLEARQ FAIA-AA-DCS-IT108
  • Unidad documental simple
  • 1983-02-24
  • Parte deAyda Ignez Arruda

Carta de AIA para Paul Weingartner comunicando o envio do trabalho para apresentação no Congresso e que não recebeu o convite oficial. Solicitando informações sobre o pagamento de suas despesas com a viagem, pois caso não a receba, não participará do congresso. Ass., Ayda Arruda

Sin título

Carta de Ayda Ignez de Arruda

  • BR SPCLEARQ FAIA-AA-DCS-IT109
  • Unidad documental simple
  • 1983-03-03
  • Parte deAyda Ignez Arruda

Carta de AIA para Paul Weingartner informando participação em seção do VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência. Ass.: Ayda Ignez Arruda

Sin título

Carta de Ayda Ignez de Arruda

  • BR SPCLEARQ FAIA-AA-DCS-IT111
  • Unidad documental simple
  • 1983-06-01
  • Parte deAyda Ignez Arruda

Carta de AIA para Paul Weingartner informando que não participará do Congresso de Salzburgo e sugerindo que o seu trabalho seja lido por algum aluno. Ass.: Ayda I. Arruda

Sin título

Carta de Ayda Ignez de Arruda

  • BR SPCLEARQ FAIA-AA-DCS-IT111
  • Unidad documental simple
  • 1983-06-01
  • Parte deAyda Ignez Arruda

Carta de AIA para Paul Weingartner informando que não participará do Congresso de Salzburgo e sugerindo que o seu trabalho seja lido por algum aluno. Ass.: Ayda I. Arruda

Sin título

Carta de Ayda Ignez de Arruda

  • BR SPCLEARQ FAIA-AA-DCS-IT106
  • Unidad documental simple
  • 1982-03-02
  • Parte deAyda Ignez Arruda

Carta de AIA para Ruth Barcan Marcus dizendo que pretende aceitar o convite para participar do Congresso, em Salzburgo, que está preparando um artigo sobre História da Lógica para o evento e solicitando o envio de um convite oficial para obter auxílio financeiro

Sin título

Telex de AIA

  • BR SPCLEARQ FAIA-AA-DCS-IT107
  • Unidad documental simple
  • 1983-02-23
  • Parte deAyda Ignez Arruda

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Sin título

Carta de Ayda Ignez de Arruda

  • BR SPCLEARQ FAIA-AA-DCS-IT110
  • Unidad documental simple
  • 1983-03-03
  • Parte deAyda Ignez Arruda

Carta de AIA para Paul Weingartner comunicando o envio da inscrição para o Congresso, sua reserva de hotel e pedindo informações sobre o pagamento de suas despesas.

Sin título

Carta de Ayda Ignez de Arruda

  • BR SPCLEARQ FAIA-AA-DCS-IT112
  • Unidad documental simple
  • 1983-06-15
  • Parte deAyda Ignez Arruda

Carta de Aia para Paul Weingartner reafirmando que não participará do Congresso e solicitando o cancelamento de sua reserva no hotel.

Sin título

Telex de AIA

  • BR SPCLEARQ FAIA-AA-DCS-IT107
  • Unidad documental simple
  • 1983-02-23
  • Parte deAyda Ignez Arruda

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Sin título

Carta de Ayda Ignez de Arruda

  • BR SPCLEARQ FAIA-AA-DCS-IT110
  • Unidad documental simple
  • 1983-03-03
  • Parte deAyda Ignez Arruda

Carta de AIA para Paul Weingartner comunicando o envio da inscrição para o Congresso, sua reserva de hotel e pedindo informações sobre o pagamento de suas despesas.

Sin título

Carta de Ayda Ignez de Arruda

  • BR SPCLEARQ FAIA-AA-DCS-IT112
  • Unidad documental simple
  • 1983-06-15
  • Parte deAyda Ignez Arruda

Carta de Aia para Paul Weingartner reafirmando que não participará do Congresso e solicitando o cancelamento de sua reserva no hotel.

Sin título

Carta de Paul Weingartner

  • BR SPCLEARQ FAIA-AA-DCS-IT101
  • Unidad documental simple
  • 1983-02-25
  • Parte deAyda Ignez Arruda

Carta de Paul Weingartner, presidente do comitê organizador local, para AIA solicitando o envio do artigo a ser apresentado no congresso e comunicando a impossibilidade de auxílio financeiro para a viagem. Ass.: Paul Weingartner

Sin título

Carta de Paul Weingartner

  • BR SPCLEARQ FAIA-AA-DCS-IT102
  • Unidad documental simple
  • 1983-02-28
  • Parte deAyda Ignez Arruda

Carta de Paul Weingartner, presidente do comitê organizador local, para AIA informando sobre os trabalhos a serem apresentados no Congresso de Salzburgo. Ass.: Paul Weingartner

Sin título

Carta de Paul Weingartner

  • BR SPCLEARQ FAIA-AA-DCS-IT104
  • Unidad documental simple
  • 1983-04-25
  • Parte deAyda Ignez Arruda

Carta de Paul Weingartner, presidente do comitê organizador local, confirmando a inscrição de AIA no VII International Congress os Logic, Methodology and Philosophy of Science. Ass.: Paul Weingartner

Sin título

Carta de Ruth Barcan Marcus

  • BR SPCLEARQ FAIA-AA-DCS-IT098
  • Unidad documental simple
  • 1982-03-23
  • Parte deAyda Ignez Arruda

Carta de Ruth Barcan Marcus, presidente do comitê organizador, para AIA comunicando a respeito da organização do congresso de Salzburgo. Ass.: R.B. Marcus

Sin título

Informe de Paul Weingartner

  • BR SPCLEARQ FAIA-AA-DCS-IT103
  • Unidad documental simple
  • 1983-03-29
  • Parte deAyda Ignez Arruda

Informe de Paul Weingartner, presidente do comitê organizador local, aceitando artigo para a publicação nos anais do congresso.

Sin título

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

  • 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

Mathematical Logic

  • BR SPCLEARQ FAIA-Impr-IT508
  • Unidad documental simple
  • [1978]
  • Parte deAyda Ignez Arruda

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

Sin título

Une sémantique pour le calcul C1=. C.R

  • BR SPCLEARQ FAIA-Impr-IT506
  • Unidad documental simple
  • 1977-01-31
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.

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

Sur une hiérarchies de systèmes formels

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

Sin título

Resultados 1 a 30 de 229