Mostrando 269 resultados

Descripción archivística
Ayda Ignez Arruda
Imprimir vista previa Ver :
Clasificación en orden ascendente

7 resultados con objetos digitales Muestra los resultados con objetos digitales

Unidade de opostos

Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

Sin título

Estudos analisando vários aspectos da lógica

  • BR SPCLEARQ FAIA-PIm-EL-IT431
  • Unidad documental simple
  • 1975-09-05

    • Parte deAyda Ignez Arruda

Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

Sin título

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.

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

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

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

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

Carta de Leopoldo Nachbin

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.

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

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

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 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

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

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

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

Resultados 241 a 269 de 269