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

The Paradox of Russell in the Systems Nfn

BR SPCLEARQ FAIA-Impr-IT491
Item
1980

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

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

A semantical study of some of vagueness logic

BR SPCLEARQ FAIA-Impr-IT493
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 ? 145, s.d.

Ayda Ignez Arruda

Some remarks on the logic of vagueness

BR SPCLEARQ FAIA-Impr-IT494
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 ? 138, 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

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT496
Item
1982-02

Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Ayda Ignez Arruda

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT497
Item
1982

Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

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

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-Impr-IT499
Item
1974

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.

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

On the relevant systems P and P* and some related systems

BR SPCLEARQ FAIA-Impr-IT501
Item
1980-05

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)

Ayda Ignez Arruda

Sur le schèma de la sèparation

BR SPCLEARQ FAIA-Impr-IT502
Item
1970-03

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

Ayda Ignez Arruda

Sur un Théorème de Hilbert et Bernays

BR SPCLEARQ FAIA-Impr-IT503
Item
1964-06-29

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

Ayda Ignez Arruda

Sur une hiérarchies de systèmes formels

BR SPCLEARQ FAIA-Impr-IT504
Item
1964-11-02

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

Ayda Ignez Arruda

Transformadas no Cálculo Restrito de Predicados

BR SPCLEARQ FAIA-Impr-IT505
Item
1966-12,

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Ayda Ignez Arruda

Une sémantique pour le calcul C1=. C.R

BR SPCLEARQ FAIA-Impr-IT506
Item
1977-01-31

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

Ayda Ignez Arruda

Introduction: A Short History of the Latin American Logic Symposia

BR SPCLEARQ FAIA-Impr-IT507
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.

Ayda Ignez Arruda

Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT508
Item
[1978]

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Ayda Ignez Arruda

Um currículo para a formação do professor de matemática do ensino secundário

BR SPCLEARQ FAIA-Impr-IT509
Item
1962-10

Parte de Ayda Ignez Arruda

BARSOTTI, Leo; COSTA, Newton C.A. da. Um currículo para a formação do professor de matemática do ensino secundário. Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 5, nº 3, p. 45-84, out. 1962.

Ayda Ignez Arruda

Paraconsistent extensional propositional logics

BR SPCLEARQ FAIA-Impr-IT510
Item
1980-06 - 1980-09

Parte de Ayda Ignez Arruda

BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT511
Item
1981-11-02

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.198, 02 nov. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT512
Item
1981-11-09

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.199, 09 nov. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT513
Item
1981-11-16

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.200, 16 nov. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT514
Item
1981-11-23

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.201, 23 nov. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT515
Item
1981-12-12

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.204, 14 dez. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT516
Item
1981-12-21

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.205, 21 dez. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT517
Item
1981-12-27

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, 27 dez. 1981.

Ayda Ignez Arruda

Proceedings of the Third Brazilian Conference on Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT518
Item
1980

Parte de Ayda Ignez Arruda

BRAZILIAN Conference on Mathematical Logic, 3, 1979. Recife. Proceedings of the Third Brazilian Conference on Mathematical Logic. São Paulo: Sociedade Brasileira de Lógica, 1980. 1p

Ayda Ignez Arruda

Wroctaw: Polish Academy of Sciences