Mostrando 113 resultados

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

7 resultados con objetos digitales Muestra los resultados con objetos digitales

Fotografia

Participantes do Evento, dentre eles Luís Paulo de Alcântara com cachimbo, Ayda Ignez Arruda, Itala Maria Loffredo D'Ottaviano, Newton Carneiro Affonso da Costa

Fotografia

Participantes do Evento, dentre eles Luís Paulo de Alcântara com cachimbo, Ayda Ignez Arruda, Itala Maria Loffredo D'Ottaviano, Newton Carneiro Affonso da Costa

Fotografia

Mesa de [abertura/palestrantes] com ?, Newton Carneiro Affonso da Costa, ?, Ubiratan D'Ambrósio, ?, Ayda Ignez Arruda e platéia

Carta de Leopoldo Nachbin

Carta de Leopoldo Nachbin a NCAC agradecendo e parabenizando pela cópia de parte de carta de Roberto Wolf, e parabenizando a Ayda Ignez Arruda por assumir a direção do IMECC/Unicamp. S.l., 20 de out. de 1980. 1p.

Carta de Ayda Ignez Arruda

Carta de Ayda Agnez Arruda a NCAC comentando o seu receio sobre os rumos do desenvolvimento científico na cidade de Campinas e o que essa comunidade está passando. Chamalières, 27 de jan. de 1970. 2p. (ms)

Sin título

Carta de Ayda Ignez Arruda

Carta de Ayda Agnez Arruda a NCAC comentando sobre a exposição de seu trabalho e de sua viagem à Europa. Chamalières, 7 de fev. de 1970. 2p. (ms)

Carta de Ayda Ignez Arruda

Carta de Ayda Agnez Arruda a NCAC falando de sua estadia em Chamalières e do resultado de suas pesquisas. Chamalières, 1 de jan. de 1970. 2p. (ms)

Mathematical Logic

  • BR SPCLEARQ FAIA-Impr-IT508
  • Unidad documental simple
  • [1978]
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

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

Transformadas no Cálculo Restrito de Predicados

  • BR SPCLEARQ FAIA-Impr-IT505
  • Unidad documental simple
  • 1966-12,
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Sin título

Sur une hiérarchies de systèmes formels

  • BR SPCLEARQ FAIA-Impr-IT504
  • Unidad documental simple
  • 1964-11-02
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.

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

Sur le schèma de la sèparation

  • BR SPCLEARQ FAIA-Impr-IT502
  • Unidad documental simple
  • 1970-03
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

Sin título

O paradoxo de Curry-Moh Shaw-Kwei

  • BR SPCLEARQ FAIA-Impr-IT500
  • Unidad documental simple
  • 1966
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

Sin título

Further considerations on the Postulate of Separation

  • BR SPCLEARQ FAIA-Impr-IT498
  • Unidad documental simple
  • 1968
  • Parte deAyda Ignez Arruda

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Sin título

Mathematical Logic in Latin America

  • BR SPCLEARQ FAIA-Impr-IT497
  • Unidad documental simple
  • 1982
  • Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Sin título

Mathematical Logic in Latin America

  • BR SPCLEARQ FAIA-Impr-IT496
  • Unidad documental simple
  • 1982-02
  • Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

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 W.W. Tait para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT332
  • Unidad documental simple
  • ? - 1976-05-25
  • Parte deAyda Ignez Arruda

Carta, em inglês, de W.W. Tait para AIA, recomendando e comentando o trabalho de Bruce Rose. [Chicago], 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.

Sin título

Carta de Steve Giambrone para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT331
  • Unidad documental simple
  • ? - 2001-08
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Steve Giambrone para AIA, solicitando bibliografia da versão do livro A Survey of Paraconsistent Logic. Austrália, 08 jan. - . Ass.: Steve Giambrone. 1p. dat.

Sin título

Cartão de Natal de Sava Petrov para AIA

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

Cartão de Natal, em inglês, de Sava Petrov para AIA, desejando um feliz ano e agradecendo o envio das revistas Cadernos de História da Ciência e Manuscrito. S.l., 03 jan. 1983. Ass.: ( __ ). 1p. dat.

Sin título

Cartão de Sava Petrov para AIA

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

Cartão, em inglês, de Sava Petrov para AIA, comunicando que seu artigo está pronto para ser impresso. S.l., 25 dez. 1981. Ass.: ( __ ). 1p. dat.

Sin título

Carta de Ryszard Wójcicki para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT327
  • Unidad documental simple
  • ? - 1982-11-23
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Ryszard Wojcick para AIA e outros, comunicando aprovação da lista de editores da Studia Logica. S.l., 23 nov. 1982. Ass.: Ryszard Wojcick. 1p. dat.

Sin título

Carta de Ryszard Wójcicki para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT326
  • Unidad documental simple
  • ? - 1982-02-18
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Ryszard Wójcicki para AIA, agradecendo resposta à correspondência anterior. S.l., 18 fev. 1982. Ass.: R. Wójcicki. 1p. dat.

Sin título

Resultados 1 a 30 de 113