Mostrando 697 resultados

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

10 resultados con objetos digitales Muestra los resultados con objetos digitales

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

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

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

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

Lógica Imaginária (Não-Aristotélica)

Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica Imaginária (Não-Aristotélica). S.l., S.d. S.ass. 54p. dat.

Sin título

Lógica e Metalógica

Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica e Metalógica. S.l., S.d. S.ass. 41p. dat.

Sin título

Relatório de Joseph Donald Sneed

Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.

Sin título

Rehabilitating Meinong’s Theory of Objects

  • BR SPCLEARQ FAIA-PItm-IT454
  • Unidad documental simple
  • [1971-1973]

    • Parte deAyda Ignez Arruda

Artigo, em inglês, de Richard e Valerie Routley, intitulado Rehabilitating Meinong’s Theory of Objects. S.l., [1971-1973]. S.ass. 27p. dat. cópia.

Sin título

Projeto Sistemas de Bibliotecas da Unicam

  • BR SPCLEARQ FAIA-PItm-IT452
  • Unidad documental simple
  • 1983-08

    • Parte deAyda Ignez Arruda

Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

Sin título

Estudo de Andréa Loparic

  • BR SPCLEARQ FAIA-PItm-IT451
  • Unidad documental simple
  • 1975-12-13

    • Parte deAyda Ignez Arruda

Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia.

Sin título

Tradução do artigo de Jean Leray

Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.

Sin título

Generalization of some results of Elie Sanchez

  • BR SPCLEARQ FAIA-PItm-IT448
  • Unidad documental simple
  • [1982-1983]

    • Parte deAyda Ignez Arruda

Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.

Sin título

Teorias Recursivas, Creativas y Productivas

Artigo, em espanhol, de José Fernández-Prida, intitulado Teorias Recursivas, Creativas y Productivas. S.l., S.d. S.ass. 15p. dat. cópia.

Sin título

Gödel’s collected works (A.S.L. Project)

Estudo, em inglês, de Solomon Feferman, intitulado Gödel’s collected works (A.S.L. Project). Stanford University, USA, S.d. S.ass. 3p. dat.

Sin título

Tradução do artigo de Jean Dieudonné

Tradução, do artigo de Jean Dieudonné, [feita por AIA], intitulado Deveríamos ensinar matemática moderna?. S.l., S.d. S.ass. 13p. ms.

Sin título

Resultados 511 a 540 de 697