Historical Archives - Centre for Logic, Epistemology and History of Science

Further considerations on the Postulate of Separation

BR SPCLEARQ FAIA-I-IT498
Unidad documental simple
1968

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-I-IT500
Unidad documental simple
1966

Parte deAyda 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

BR SPCLEARQ FAIA-I-IT504
Unidad documental simple
1964-11-02

Parte deAyda 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

Mathematical Logic

BR SPCLEARQ FAIA-I-IT508
Unidad documental simple
[1978]

Parte deAyda Ignez Arruda

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

Ayda Ignez Arruda

Sole axioms for partially ordered sets

BR SPCLEARQ FAIA-I-IT522
Unidad documental simple
1979

Parte deAyda Ignez Arruda

CLAY, Robert E. Sole axioms for partially ordered sets. Logique et Analyse, p.361-374, 1979.

Ayda Ignez Arruda

Un calcul des applications

BR SPCLEARQ FAIA-I-IT523
Unidad documental simple
1971

Parte deAyda Ignez Arruda

CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971.

Ayda Ignez Arruda

The set of quantifiers of an atomic Boolean algebra

BR SPCLEARQ FAIA-I-IT528
Unidad documental simple
1970-09

Parte deAyda Ignez Arruda

DEMAREE, Daniel B. The set of quantifiers of an atomic Boolean algebra. Mathematisch Centrum, Amsterdam, 4p. set. 1970.

Ayda Ignez Arruda

On structural completeness of some nonclassical predicate calculi

BR SPCLEARQ FAIA-I-IT529
Unidad documental simple
1975

Parte deAyda Ignez Arruda

DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

Ayda Ignez Arruda

How I created the theory of relativity

BR SPCLEARQ FAIA-I-IT530
Unidad documental simple
1982-08

Parte deAyda Ignez Arruda

EINSTEIN, Albert. How I created the theory of relativity. Physics Today, s.l., p.45-47, ago. 1982.

Ayda Ignez Arruda

A Lógica e a Matemática são idênticas?

BR SPCLEARQ FAIA-I-IT535
Unidad documental simple
1964-10

Parte deAyda Ignez Arruda

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

Ayda Ignez Arruda

Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem

BR SPCLEARQ FAIA-I-IT542
Unidad documental simple
1973.

Parte deAyda Ignez Arruda

JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.

Ayda Ignez Arruda

La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde

BR SPCLEARQ FAIA-I-IT544
Unidad documental simple

Parte deAyda Ignez Arruda

LARGEAULT, Jean. La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Gödel, p.56-79.

Ayda Ignez Arruda

Logique sans igalité et (k,p)-quasivalence

BR SPCLEARQ FAIA-I-IT548
Unidad documental simple
1976

Parte deAyda Ignez Arruda

MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.

Ayda Ignez Arruda

A partial comparison of two conditions on the intersections of regressive sets

BR SPCLEARQ FAIA-I-IT549
Unidad documental simple
1977

Parte deAyda Ignez Arruda

McLAUGHLIN, Von T.G. A partial comparison of two conditions on the intersections of regressive sets. Arch. Math. Logik, v.18, p.159-167, 1977.

Ayda Ignez Arruda

Lukasiewicz and the Origins of Many-Valued Logic

BR SPCLEARQ FAIA-I-IT552
Unidad documental simple
1973

Parte deAyda Ignez Arruda

PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.

Ayda Ignez Arruda

On the concept of formalization and partially ordered quantifiers