Mostrando 261 resultados

Descrição arquivística
Ayda Ignez Arruda Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:

2 resultados com objetos digitais Exibir resultados com objetos digitais

Estudos contendo tópicos sobre axiomas

Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Caderno contendo anotações sobre lógicas relevante

  • BR SPCLEARQ FAIA-PIm-EL-IT434
  • Item
  • 1976-09-16 - 1976-10-07
  • Parte de Ayda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.

Ayda Ignez Arruda

Sur un Théorème de Hilbert et Bernays

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.

Ayda Ignez Arruda

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

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.

Ayda Ignez Arruda

Termo de outorga

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.

Termo de outorga e aceitação

Termo de outorga e aceitação de auxílio Fapesp do projeto de contratação do professor Jerzy Kotas como professor visitante, registrado como processo n° 78/1294, concedido a AIA. Ass.: Ayda Ignez Arruda

Recibo do CNPq

Recibo do CNPq emitido por Oswaldo Chateaubriand a AIA referente ao pagamento de ajuda de custa pela participação no Ciclo de Palestras de Professores e Pesquisadores, realizado na Pontifícia Universidade Católica-RJ. Ass.: Ayda Ignez Arruda

Carta de Ruth Barcan Marcus

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

Ayda Ignez Arruda

Informe de Paul Weingartner

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

Ayda Ignez Arruda

Telex de AIA

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

Ayda Ignez Arruda

Carta de Ayda Ignez de 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.

Ayda Ignez Arruda

Carta de Ayda Ignez de Arruda

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

Ayda Ignez Arruda

Processo 1234/81

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

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

Processo n. 1817/81

Processo n. 1817/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando os diretores AIA, André Maria Pompeu Villalobos e Carlos Alfredo Arguello de suas funções.

Ayda Ignez Arruda

Lista de professores do IMECC

Lista de professores do IMECC que apoiam a interpelação judicial para tirar Frederico Pimentel do cargo de direção do instituto.

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 AIA ao Prof. E.G.K. Lopez-Escobar

Carta, em inglês, de AIA a E.G.K. Lopez-Escobar, agradecendo o recebimento dos livros, informando a respeito de atividades científicas e sobre o curso que Cecylia Rauszer está ministrando na Unicamp. Campinas, 04 maio 1983. S.ass. 2p.dat cópia.

Ayda Ignez Arruda

Carta de AIA a Graham Priest

Carta, em inglês, de AIA a Graham Priest, agradecendo os votos de boa saúde e aprovando as correções feitas em seu artigo. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.

Ayda Ignez Arruda

Carta de AIA a Hristo Smolenov

Carta, em inglês, de AIA a Hristo Smolenov, agradecendo os votos de Feliz Ano Novo, cumprimentando-o pelo doutorado obtido, informando que não tem pesquisado por problemas de saúde. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.

Ayda Ignez Arruda

Carta de AIA a Hristo Smolenov

Carta, em inglês, de AIA a Hristo Smolenov, comentando sobre o sumário e informando sobre seus trabalhos sobre Vasil'év. Campinas, 14 mar. 1983. S.ass. 1p dat. cópia.

Ayda Ignez Arruda

Carta de AIA ao Prof. Manuel Corrad

Carta de AIA ao Prof. Manuel Corrada, informando que havendo verba da FINEP para o mês de agosto os Profs. George Wilmers e Jeff Paris serão convidados para virem à Unicamp. Campinas, 05 abr. 1983. S.ass. 1p. dat.

Ayda Ignez Arruda

Carta de AIA a Paolo Bottura

Carta, em inglês, de AIA a Paolo Bottura, agradecendo o envio de sua tese e informando a finalização da perimeira série de 3 artigos sobre Vasil'év. Campinas, 04 abr. 1983. Ass.: Ayda I. Arruda. 1p. dat.

Ayda Ignez Arruda

Carta de AIA a Sava Petrov

Carta, em inglês, de AIA ao professor Sava Petrov, informando recebimento do ensaio e dando conta do fim da crise na universidade. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.

Ayda Ignez Arruda

Carta de Andrés Raggio para AIA

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

Exibindo 151-180 de 261 resultados