Mostrando 105 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

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.

Carta de AIA para Diderik Batens

  • BR SPCLEARQ FAIA-C-Ca-IT198
  • Unidad documental simple
  • 1982-11-29
  • Parte deAyda Ignez Arruda

Carta, em inglês, de AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.

Sin título

Carta de AIA para Diderik Batens

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

Carta, em inglês, de AIA a Diderik Batens, agradecendo sua carta e dizendo estar bem confiante com o tratamento e que espera em breve retornar a fazer pesquisas. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.

Sin título

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

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

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comunicando sobre desenvolvimento de trabalhos científicos. Austrália, 26 abr. - . Ass.: Richard. 1p. ms.

Sin título

Carta de Richard Routley para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT324
  • Unidad documental simple
  • ? - 2002-11
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Richard Routley para AIA, comentando sobre seus trabalhos e sobre o livro Paraconsistent Logic. Austrália, 11 fev. - . Ass.: Richard. 1p. ms.

Sin título

Carta de Richard Routley para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT323
  • Unidad documental simple
  • ? - 1983-08-23
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Richard Routley para AIA, comunicando sobre trabalhos científicos que serão publicados. Austrália, 23 ago. 1983. Ass.: Richard. 2p. ms.

Sin título

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comentando sobre artigos e trabalhos científicos. Austrália, 10 dez. [1982]. Ass.: Richard. 1p. ms.

Sin título

Carta de Richard Routley para AIA

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

Carta, em inglês, de Richard Routley para AIA, comunicando sobre trabalhos científicos. Austrália, 30 dez. 1981. Ass.: Richard Routley. 1p. ms.

Sin título

Carta de Paolo Bottura para AIA

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

Carta, em inglês, de Paolo Bottura para AIA, expondo questões sobre um artigo de Ayda. Montalto Dora, 12 mar. 1982. Ass.: Paolo Bottura. 2p. dat.

Sin título

Resultados 1 a 30 de 105