Mostrando 742 resultados

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

18 resultados con objetos digitales Muestra los resultados con objetos digitales

The Paradox of Russell in the Systems Nfn

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.

Ayda Ignez Arruda

Sur les systèmes Nfi de da Costa

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

Sur le syst¨¨me NF¦Ø

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

Some remarks on Griss Logic of Negationless Intuitionistic Mathematics

  • BR SPCLEARQ FAIA-I-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)

Ayda Ignez Arruda

Remarks on da Costa Paraconsistent set theories

  • BR SPCLEARQ FAIA-I-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)

Ayda Ignez Arruda

On the Postulate of Separation

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].

Ayda Ignez Arruda

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

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

On Griss propositional calculus

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

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

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)

Ayda Ignez Arruda

La mathématique classiques dans Nfw

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

Considerações sobre os Sistemas Fomais NFn

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.

Ayda Ignez Arruda

Aspects of the historical development of Paraconsistent Logic

  • BR SPCLEARQ FAIA-I-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)

Ayda Ignez Arruda

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.)

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Resultados 181 a 210 de 742