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

Carta de Cecylia Rauszer para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT261
  • Unidad documental simple
  • 1982-03-20
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Cecylia Rauszer para AIA, comunicando sobre as dificuldades em sair da Polônia e sobre trabalhos para o Congresso Internacional de Matemática. S.l., 20 mar. 1982. Ass.: Cecylia. 1p. ms.

Ayda Ignez Arruda

Carta de Cecylia Rauszer para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT262
  • Unidad documental simple
  • 1982-05-06
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Cecylia Rauszer para AIA, comunicando a obtenção de permissão para visitar o Brasil e solicitando informações sobre curso a ser ministrado. Warsaw, 06 maio 1982. Ass.: Cecylia. 1p. ms.

Ayda Ignez Arruda

Carta de Cecylia Rauszer para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT263
  • Unidad documental simple
  • 1982-05-16
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Cecylia Rauszer para AIA, informando sobre sua viagem ao Brasil e problemas com passaporte. S.l., 16 maio 1982. Ass.: Cecylia. 1p. dat.

Ayda Ignez Arruda

Carta de Cecylia Rauszer para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT264
  • Unidad documental simple
  • 1982-06-16
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Cecylia Rauszer para AIA, comunicando a data para sua visita e solicitando detalhes sobre salários e despesas com a viagem. S.l., 16 jun. 1982. Ass.: Cecylia. 1p. ms.

Ayda Ignez Arruda

Carta de Georg Henrik von Wright para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT278
  • Unidad documental simple
  • 1983-06-28
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Georg Henrik von Wright para AIA, agradecendo o envio do artigo e comentando os trabalhos sobre lógica paraconsistente. Helsinki, 28 jun. 1983. Ass.: Georg Henrik von Wright. 1p. dat.

Ayda Ignez Arruda

Cartão de Hristo Smolenov para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT281
  • Unidad documental simple
  • 1982-12-26
  • Parte deAyda Ignez Arruda

Cartão, em inglês, de Hristo Smolenov para AIA, informando sobre sua titulação, perguntando sobre artigos e cartas enviadas e desejando boa saúde e sucesso profissional. [Sofia], 26 dez. 1982. Ass.: Hristo Smolenov. 1p. ms.

Ayda Ignez Arruda

Carta de Jaime Bohorquez para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT287
  • Unidad documental simple
  • 1982-04-20
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Jaime Bohorquez para AIA, dizendo que gostaria de pesquisar e lecionar na América Latina, especialmente na Unicamp. Nova York, 20 abr. 1982. Ass.: Jaime Bohorquez. 1p. dat.

Ayda Ignez Arruda

Carta de Jaime Bohorquez para AIA

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

Carta, em inglês, de Jaime Bohorquez para AIA, confirmando interesse em trabalhar na Unicamp e comunicando que o envio de cópia de sua tese. Nova York, 10 jun. 1982. Ass.: Jaime Bohorquez. 1p. dat.

Ayda Ignez Arruda

Carta de Nicola Grana para AIA

Carta, em inglês, de Nicola Grana para AIA, enviando trabalho e solicitando outros ainda não publicados na Itália. S.l., S.d. Ass.: Nicola Grana. 1p. ms.

Ayda Ignez Arruda

Independência de axiomas

Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Abstract da palestra Implicative Systems and Modus Ponens Rule

  • BR SPCLEARQ FAIA-PIm-EL-IT412
  • Unidad documental simple
  • 1972-07
  • Parte deAyda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

Ayda Ignez Arruda

Sobre a regra do Modus Ponens

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

Ayda Ignez Arruda

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

Sur un Théorème de Hilbert et Bernays

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

Ayda Ignez Arruda

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

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

Ayda Ignez Arruda

Resultados 241 a 261 de 261