Mostrando 39 resultados

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

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

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

Vasil’év and the development of Many-valued logic

  • BR SPCLEARQ FAIA-Impr-IT543
  • Unidad documental simple
  • 1965
  • Parte deAyda Ignez Arruda

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

Sin título

Lukasiewicz and the Origins of Many-Valued Logic

  • BR SPCLEARQ FAIA-Impr-IT552
  • Unidad documental simple
  • 1973
  • Parte deAyda Ignez Arruda

PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.

Sin título

Resultados 31 a 39 de 39