Imprimir vista previa Cerrar

Mostrando 743 resultados

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

19 resultados con objetos digitales Muestra los resultados con objetos digitales

Uma Questão de Lógica

ARRUDA, Ayda Ignez. Uma Questão de Lógica. Revista Brasileira de Filosofia. [São Paulo, v. XIII, fasc. 50], p. 261-264, s.d.

Sin título

The Paradox of Russell in the Systems Nfn

  • BR SPCLEARQ FAIA-Impr-IT491
  • Unidad documental simple
  • 1980

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. The Paradox of Russell in the Systems Nfn. Proceedings of the Third Brazilian Conference on Mathematical Logic. [Campinas: SBL-Unicamp], p. 1-2, 1980.

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

Some remarks on Griss Logic of Negationless Intuitionistic Mathematics

  • BR SPCLEARQ FAIA-Impr-IT482
  • Unidad documental simple
  • 1977-08

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Sin título

Remarks on da Costa Paraconsistent set theories

  • BR SPCLEARQ FAIA-Impr-IT479
  • Unidad documental simple
  • 1982-02

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez. Remarks on da Costa Paraconsistent set theories. Campinas: Unicamp, fev. 1982. 25p. (Relatório Interno, n° 197, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Sin título

On the Postulate of Separation

  • BR SPCLEARQ FAIA-Impr-IT478
  • Unidad documental simple
  • 1968

    • Parte deAyda Ignez Arruda

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Sin título

On the Imaginary Logic of N.A. Vasil'év

  • BR SPCLEARQ FAIA-Impr-IT477
  • Unidad documental simple
  • 1978-06

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Sin título

On Griss propositional calculus

  • BR SPCLEARQ FAIA-Impr-IT475
  • Unidad documental simple
  • 1971-09

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Sin título

N.A. Vasili’év e a Lógica Paraconsistente

  • BR SPCLEARQ FAIA-Impr-IT474
  • Unidad documental simple
  • 1978

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. N.A. Vasili’év e a Lógica Paraconsistente. Campinas: Unicamp, 1978. 60 p. (Relatório Interno nº 140, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

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

Considerações sobre os Sistemas Fomais NFn

  • BR SPCLEARQ FAIA-Impr-IT471
  • Unidad documental simple
  • 1964

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.

Sin título

Aspects of the historical development of Paraconsistent Logic

  • BR SPCLEARQ FAIA-Impr-IT469
  • Unidad documental simple
  • 1980-02

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Sin título

A survey of Paraconsistent Logic

ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

Sin título

A Evolução do Método Axiomático

ARRUDA, Ayda Ignez. A Evolução do Método Axiomático. Revista Brasileira de Filosofia, São Paulo, v. XIV, fasc. 54, s.d. p. 209-221.

Sin título

O Intelecto Humano

Texto sem autor intitulado O Intelecto Humano resumindo as principais idéias de Nietzsche expressas em Sobre Verdade e Mentira no Sentido Extra-moral. S.l., S.d. S.ass. 1p. dat.

Sin título

Notas de aula de Ryszard Wojcicki

  • BR SPCLEARQ FAIA-PItm-IT463
  • Unidad documental simple
  • 1981

    • Parte deAyda Ignez Arruda

Notas de aula, em inglês, de Ryszard Wojcicki, do curso intitulado Topics in the theory of propositional logics. [Unicamp], 1981. Ass.: Ryszard Wojcicki. 116p. ms. cópia.

Sin título

Resultados 181 a 210 de 743