Mostrando 261 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Sobre a regra do Modus Ponens

Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

Sin título

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.

Sin título

Caderno contendo anotações sobre lógicas relevante

  • BR SPCLEARQ FAIA-PIm-EL-IT434
  • Unidad documental simple
  • 1976-09-16 - 1976-10-07
  • Parte deAyda 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.

Sin título

Sur un Théorème de Hilbert et Bernays

  • BR SPCLEARQ FAIA-Impr-IT503
  • Unidad documental simple
  • 1964-06-29
  • Parte deAyda Ignez Arruda

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.

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

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.

Termo de outorga e aceitação

  • BR SPCLEARQ FAIA-AA-Fapesp-DJK-IT050
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

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

  • 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

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

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.

Sin título

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

Sin título

Processo n. 1817/81

  • BR SPCLEARQ FAIA-IU-AJ-IT174
  • Unidad documental simple
  • 1981-12-16
  • Parte deAyda Ignez Arruda

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.

Sin título

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.

Sin título

Rascunho de AIA

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

Sin título

Carta de AIA ao Prof. E.G.K. Lopez-Escobar

  • BR SPCLEARQ FAIA-C-Ca-IT202
  • Unidad documental simple
  • 1983-05-04
  • Parte deAyda Ignez Arruda

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.

Sin título

Carta de AIA a Graham Priest

  • BR SPCLEARQ FAIA-C-Ca-IT207
  • Unidad documental simple
  • 1983-01-18
  • Parte deAyda Ignez Arruda

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.

Sin título

Carta de AIA a Hristo Smolenov

  • BR SPCLEARQ FAIA-C-Ca-IT209
  • Unidad documental simple
  • 1983-01-18
  • Parte deAyda Ignez Arruda

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.

Sin título

Carta de AIA a Hristo Smolenov

  • BR SPCLEARQ FAIA-C-Ca-IT210
  • Unidad documental simple
  • 1983-03-14
  • Parte deAyda Ignez Arruda

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.

Sin título

Carta de AIA ao Prof. Manuel Corrad

  • BR SPCLEARQ FAIA-C-Ca-IT217
  • Unidad documental simple
  • 1983-04-05
  • Parte deAyda Ignez Arruda

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.

Sin título

Carta de AIA a Paolo Bottura

  • BR SPCLEARQ FAIA-C-Ca-IT226
  • Unidad documental simple
  • 1983-04-04
  • Parte deAyda Ignez Arruda

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.

Sin título

Carta de AIA a Sava Petrov

  • BR SPCLEARQ FAIA-C-Ca-IT237
  • Unidad documental simple
  • 1982-10-06
  • Parte deAyda Ignez Arruda

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.

Sin título

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.

Sin título

Resultados 151 a 180 de 261