Mostrando 743 resultados

Descripción archivística
Ayda Ignez Arruda
Imprimir vista previa Ver :

19 resultados con objetos digitales Muestra los resultados con objetos digitales

L’ipotese del Continuo

  • BR SPCLEARQ FAIA-Impr-IT531
  • Unidad documental simple
  • 1977
  • Parte deAyda Ignez Arruda

FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.

Sin título

Boolean Powers in algebric logic

  • BR SPCLEARQ FAIA-Impr-IT527
  • Unidad documental simple
  • 1971
  • Parte deAyda Ignez Arruda

DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

Sin título

Une sémantique pour le calcul C1

  • BR SPCLEARQ FAIA-Impr-IT526
  • Unidad documental simple
  • 1976-06
  • Parte deAyda Ignez Arruda

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Sin título

Remarques sur le système NF1

  • BR SPCLEARQ FAIA-Impr-IT525
  • Unidad documental simple
  • 1971-05
  • Parte deAyda Ignez Arruda

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Sin título

Un calcul des applications

  • BR SPCLEARQ FAIA-Impr-IT523
  • Unidad documental simple
  • 1971
  • Parte deAyda Ignez Arruda

CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971.

Sin título

Wroctaw: Polish Academy of Sciences

  • BR SPCLEARQ FAIA-Impr-IT519
  • Unidad documental simple
  • 1979-10
  • Parte deAyda Ignez Arruda

BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979.

Sin título

Boletim Informativo

  • BR SPCLEARQ FAIA-Impr-IT517
  • Unidad documental simple
  • 1981-12-27
  • Parte deAyda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, 27 dez. 1981.

Sin título

Boletim Informativo

  • BR SPCLEARQ FAIA-Impr-IT516
  • Unidad documental simple
  • 1981-12-21
  • Parte deAyda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.205, 21 dez. 1981.

Sin título

Boletim Informativo

  • BR SPCLEARQ FAIA-Impr-IT515
  • Unidad documental simple
  • 1981-12-12
  • Parte deAyda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.204, 14 dez. 1981.

Sin título

Boletim Informativo

  • BR SPCLEARQ FAIA-Impr-IT514
  • Unidad documental simple
  • 1981-11-23
  • Parte deAyda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.201, 23 nov. 1981.

Sin título

Boletim Informativo

  • BR SPCLEARQ FAIA-Impr-IT513
  • Unidad documental simple
  • 1981-11-16
  • Parte deAyda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.200, 16 nov. 1981.

Sin título

Boletim Informativo

  • BR SPCLEARQ FAIA-Impr-IT512
  • Unidad documental simple
  • 1981-11-09
  • Parte deAyda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.199, 09 nov. 1981.

Sin título

Boletim Informativo

  • BR SPCLEARQ FAIA-Impr-IT511
  • Unidad documental simple
  • 1981-11-02
  • Parte deAyda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.198, 02 nov. 1981.

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

Resultados 151 a 180 de 743