Information object browse - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

Notas para a História da Lógica, História, e Variedades da Lógica

BR SPCLEARQ FAIA-PIm-EL-IT430
Item

Estudo de AIA, sem título, contendo partes intituladas Notas para a História da Lógica, História, e Variedades da Lógica. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Produção Intelectual de Terceiros Manuscrita

BR SPCLEARQ FAIA-PItm
Série

Parte de Ayda Ignez Arruda

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-PItm-IT441
Item
[1974-1976]

Parte de Ayda Ignez Arruda

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Ayda Ignez Arruda

Teorias Recursivas, Creativas y Productivas

BR SPCLEARQ FAIA-PItm-IT445
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Rehabilitating Meinong’s Theory of Objects

BR SPCLEARQ FAIA-PItm-IT454
Item
[1971-1973]

Parte de Ayda 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.

Ayda Ignez Arruda

O ponto de vista lógico de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT457
Item

Parte de Ayda Ignez Arruda

Tradução do artigo de V.A. Smirnov, intitulado O ponto de vista lógico de N.A. Vasil’év. S.l., S.d. S.ass. 16p. dat. cópia

Ayda Ignez Arruda

Relatório de Joseph Donald Sneed

BR SPCLEARQ FAIA-PItm-IT458
Item

Parte de Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Matemática "moderna": Um erro educacional e filosófico?

BR SPCLEARQ FAIA-PItm-IT459
Item

Parte de Ayda Ignez Arruda

Tradução, do artigo de René Thom, [feita por AIA], intitulado Matemática "moderna": Um erro educacional e filosófico?. S.l., S.d. S.ass. 18p. ms.

Ayda Ignez Arruda

Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído

BR SPCLEARQ FAIA-PItm-IT462
Item

Parte de Ayda Ignez Arruda

Tradução do artigo de N.A. Vasil'év, intitulado Sobre os Juízos Particulares; O Triângulo das Oposições e a Lei do Quarto Excluído. S.l., S.d. S.ass. 45p. dat.

Ayda Ignez Arruda

Notas de aula de Ryszard Wojcicki

BR SPCLEARQ FAIA-PItm-IT463
Item
1981

Parte de Ayda 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

O Intelecto Humano

BR SPCLEARQ FAIA-PItm-IT465
Item

Parte de Ayda Ignez Arruda

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

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

BR SPCLEARQ FAIA-Impr-IT466
Item

Parte de Ayda Ignez Arruda

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

A survey of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT467
Item

Parte de Ayda Ignez Arruda

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 Survey of Paraconsistent Logic. Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT468
Item
1980

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. A Survey of Paraconsistent Logic. Mathematical Logic in Latin America, s.l., 1980, p. 1 ? 41.

Ayda Ignez Arruda

Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-Impr-IT483
Item
1977

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics. Mathematical Logic: Proceedings of the First Brazilian Conference, Nova Iorque, p. 9-29, 1977.

Ayda Ignez Arruda

Sur certains algèbres de classes non classiques

BR SPCLEARQ FAIA-Impr-IT484
Item
1969-03-31

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certains algèbres de classes non classiques. C.R. Acad. Sc. Paris, t.268, p. 677-680, 31 mar. 1969

Ayda Ignez Arruda

Uma Questão de Lógica

BR SPCLEARQ FAIA-Impr-IT492
Item

Parte de Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

BR SPCLEARQ FAIA-Impr-IT495
Item
1982-06

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; BATENS, Diderik. Russell's Set Versus the Universal Set in Paraconsistent Set Theory. Logique et Analyse, v.25, n.98, p. 121-133, jun. 1982.

Ayda Ignez Arruda

Further considerations on the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT498
Item
1968

Parte de Ayda Ignez Arruda

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Ayda Ignez Arruda

O paradoxo de Curry-Moh Shaw-Kwei

BR SPCLEARQ FAIA-Impr-IT500
Item
1966

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

Ayda Ignez Arruda

Sur une hiérarchies de systèmes formels