Imprimir vista previa Cerrar

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

A teoria de primeira ordem v

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Sin título

Aerograma de Ken para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT297
  • Unidad documental simple
  • ? - 1982-12-25
  • Parte deAyda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, informando sobre o seu estado de saúde. Annapolis, 25 dez. 1982. Ass.: Ken. 1p. ms.

Sin título

Aerograma de Ken para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT298
  • Unidad documental simple
  • ? - 1983-01-05
  • Parte deAyda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, desejando um Feliz 1983, comunicando o envio de um artigo e falando sobre sua estada em Campinas. Annapolis, 05 jan. 1983. Ass.: Ken. 1p. ms.

Sin título

Aerograma de Ken para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT299
  • Unidad documental simple
  • ? - 1983-03-05
  • Parte deAyda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, relatando suas atividades em Annapolis e informando a respeito de um mini-curso sobre w-rule a ser proferido. Annapolis, 05 mar. 1983. Ass.: Ken. 1p. ms.

Sin título

Aplicação de Matrizes

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

Sin título

Artigo cálculos proposicionais

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

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

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

Cálculo Proposicional

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Sin título

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Sin título

Carta de AIA a Francisco Xavier Caicedo

  • BR SPCLEARQ FAIA-C-Ca-IT204
  • Unidad documental simple
  • 1982-03-04
  • Parte deAyda Ignez Arruda

Carta, em inglês, de AIA a Francisco Xavier Caicedo, agradecendo correspondência anterior e informando os custos para a publicação de um trabalho no Brasil. S.l., 04 mar. 1982. S.ass. 1p. dat. cópia.

Sin título

Carta de AIA a Francisco Xavier Caicedo

  • BR SPCLEARQ FAIA-C-Ca-IT206
  • Unidad documental simple
  • 1982-05-18
  • Parte deAyda Ignez Arruda

Telex, em inglês, de AIA a Francisco Xavier Caicedo, solicitando informações sobre sua chegada ao Brasil. IMECC, 18 maio 1982. S.ass. 1p. dat.

Sin título

Carta de AIA a Francisco Xavier Caicedo

  • BR SPCLEARQ FAIA-C-Ca-IT205
  • Unidad documental simple
  • 1982-03-16
  • Parte deAyda Ignez Arruda

Carta, em inglês, de AIA ao professor Xavier Caicedo, informando preços e locais para estadia em Campinas e solicitando esclarecimentos quanto ao seu nome oficial. S.l., 16 mar. 1982. S.ass. 1p. dat. cópia.

Sin título

Carta de AIA a Graham Priest

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

Telex, em inglês, de AIA a Graham Priest, autorizando a publicação de seu artigo. IMECC, 19 jan. 1983. S.ass. 1p. dat.

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 a Jaime Bohorquez

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

Carta, em inglês, de AIA a Jaime Bohorquez, solicitando cópia de sua dissertação de doutorado e um novo curriculum com o título de sua dissertação de mestrado. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.

Sin título

Carta de AIA a Jaime Bohorquez

  • BR SPCLEARQ FAIA-C-Ca-IT212
  • Unidad documental simple
  • 1982-05-13
  • Parte deAyda Ignez Arruda

Carta, em inglês, de AIA a Jaime Bohorquez, comunicando não haver vagas no Departamento de Matemática e de Ciência da Computação. Campinas, 13 maio 1982. S.ass. 1p. dat.

Sin título

Carta de AIA a Jean Norman

  • BR SPCLEARQ FAIA-C-Ca-IT214
  • Unidad documental simple
  • 1982-09-22
  • Parte deAyda Ignez Arruda

Carta, em inglês, de AIA a Jean Norman, solicitando correções em seu artigo que será publicado. Campinas, 22 set. 1982. S.ass. 2p. dat. cópia.

Sin título

Resultados 1 a 30 de 261