Imprimir vista previa Cerrar

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

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

O que é o Impa?

  • BR SPCLEARQ FAIA-Impr-IT550
  • Unidad documental simple
  • 1960-02
  • Parte deAyda Ignez Arruda

NACHBIN, Leopoldo. O que é o Impa? Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 3, n. 1, p. 1-12, fev. 1960.

Sin título

On the principle of contradiction in Aristotle

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

LUKASIEWICZ, Jan. On the principle of contradiction in Aristotle. Tradução para inglês de Vernon Wedin. Rev. Metaphys, v.XXIV, p. 485-509, mar. 1971. Título original: Über den Satz des Widersprachs bei Aristoteles.

Sin título

Comutadores em Variedades de Mal'cev

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

LAZARI, Henrique. Comutadores em Variedades de Mal'cev. jun. 1982. 61 p. Dissertação (Mestrado em Matemática) - Instituto de Matemática, Estatística e Ciência da Computação; Universidade Estadual de Campinas. cópia.

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

A Lógica e a Matemática são idênticas?

  • BR SPCLEARQ FAIA-Impr-IT535
  • Unidad documental simple
  • 1964-10
  • Parte deAyda Ignez Arruda

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

Sin título

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

Resultados 121 a 150 de 743