Visualizar impressão Fechar

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

A teoria de primeira ordem v

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

Ayda Ignez Arruda

Aerograma de Ken para AIA

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

Ayda Ignez Arruda

Aerograma de Ken para AIA

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.

Ayda Ignez Arruda

Aerograma de Ken para AIA

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.

Ayda Ignez Arruda

Aplicação de Matrizes

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

Ayda Ignez Arruda

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.

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

Caderno de AIA

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

Ayda Ignez Arruda

Cálculo Proposicional

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

Ayda Ignez Arruda

Cálculos Implicativos Gerais

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

Ayda Ignez Arruda

Carta de AIA a Francisco Xavier Caicedo

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.

Ayda Ignez Arruda

Carta de AIA a Francisco Xavier Caicedo

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.

Ayda Ignez Arruda

Carta de AIA a Francisco Xavier Caicedo

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.

Ayda Ignez Arruda

Carta de AIA a Graham Priest

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

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

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.

Ayda Ignez Arruda

Carta de AIA a Jaime Bohorquez

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.

Ayda Ignez Arruda

Carta de AIA a Jean Norman

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.

Ayda Ignez Arruda

Exibindo 1-30 de 261 resultados