Mostrando 49 resultados

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

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

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

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

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

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 les systèmes Nfi de da Costa

  • BR SPCLEARQ FAIA-Impr-IT490
  • Unidad documental simple
  • 1970-04-27
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.

Sin título

Sur le syst¨¨me NF¦Ø

  • BR SPCLEARQ FAIA-Impr-IT489
  • Unidad documental simple
  • 1970-05-04
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.

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

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

La mathématique classiques dans Nfw

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

ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

Sin título

Circular de Paul Weingartner

  • BR SPCLEARQ FAIA-AA-DCS-IT100
  • Unidad documental simple
  • 1983-02-17
  • Parte deAyda Ignez Arruda

Circular de Paul Weingartner, presidente do comitê organizador local, solicitando o envio de resumo de trabalho a ser apresentado em Salzburgo. Ass.: P. Weingartner

Sin título

Carta do Professor Dr. Meurers

  • BR SPCLEARQ FAIA-AA-DCS-IT105
  • Unidad documental simple
  • 1984-05-24
  • Parte deAyda Ignez Arruda

Carta do Professor Doutor Meurers, solicitando correção e o envio de comunicação a ser apresentada no Congresso de Salzburgo. Ass.: Meurers

Sin título

Carta de Paolo Bottura para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT319
  • Unidad documental simple
  • ? - 1982-05-05
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Paolo Bottura para AIA, informando sobre trabalho científico e solicitando cópia de artigos. Montalto Dora, 05 maio 1982. Ass.: Paolo Bottura. 1p. dat.

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

Carta de North Holland Pub.Co.

Carta de North Holland Pub. Co. para AIA comunicando erros nos cálculos dos royalties do livro Proceedings of the IV Latin American Symposium on Mathematical Logic e informando o envio do valor correto. Ass.: Einar Fredriksson

Carta de North Holland Pub.Co.

Carta de North Holland Pub. Co. para AIA comunicando o envio de crédito pela venda das publicações Non Classical Logics Model Theory & Computability e Proceedings of the IV Latin American Symposium on Mathematical Logic referente ao ano de 1982. Ass.: Einar Fredriksson
Resultados 1 a 30 de 49