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

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

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.

Untitled

Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT508
Item
[1978]

Part of Ayda Ignez Arruda

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

Untitled

Paraconsistent extensional propositional logics

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

Part of Ayda Ignez Arruda

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

Untitled

Boletim Informativo

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

Part of Ayda Ignez Arruda

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

Untitled

Boletim Informativo

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

Part of Ayda Ignez Arruda

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

Untitled

Boletim Informativo

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

Part of Ayda Ignez Arruda

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

Untitled

Sole axioms for partially ordered sets

BR SPCLEARQ FAIA-Impr-IT522
Item
1979

Part of Ayda Ignez Arruda

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

Untitled

Un calcul des applications

BR SPCLEARQ FAIA-Impr-IT523
Item
1971

Part of Ayda Ignez Arruda

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

Untitled

The set of quantifiers of an atomic Boolean algebra

BR SPCLEARQ FAIA-Impr-IT528
Item
1970-09

Part of Ayda Ignez Arruda

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

Untitled

On structural completeness of some nonclassical predicate calculi

BR SPCLEARQ FAIA-Impr-IT529
Item
1975

Part of Ayda Ignez Arruda

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

Untitled

How I created the theory of relativity

BR SPCLEARQ FAIA-Impr-IT530
Item
1982-08

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-Impr-IT535
Item
1964-10

Part of Ayda 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.

Untitled

Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência

BR SPCLEARQ FAIA-Impr-IT536
Item

Part of Ayda Ignez Arruda

IFCH-UNICAMP; CLE-UNICAMP. Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência. Campinas: Unicamp, s.d., 27p.

Untitled

Catálogo de Pós-graduação: 1° semestre

BR SPCLEARQ FAIA-Impr-IT537
Item
1971

Part of Ayda Ignez Arruda

IMECC - UNICAMP. Catálogo de Pós-graduação: 1° semestre. Campinas: Unicamp, 1971. 34p.

Untitled

Catálogo de Pós-graduação: 2° semestre

BR SPCLEARQ FAIA-Impr-IT538
Item
1971

Part of Ayda Ignez Arruda

IMECC - UNICAMP. Catálogo de Pós-graduação: 2° semestre. Campinas: Unicamp, 1971. 41p.

Untitled

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

BR SPCLEARQ FAIA-Impr-IT542
Item
1973.

Part of Ayda 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.

Untitled

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

BR SPCLEARQ FAIA-Impr-IT544
Item

Part of Ayda 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.

Untitled

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

BR SPCLEARQ FAIA-Impr-IT548
Item
1976

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-Impr-IT549
Item
1977

Part of Ayda 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.

Untitled

Lukasiewicz and the Origins of Many-Valued Logic

BR SPCLEARQ FAIA-Impr-IT552
Item
1973

Part of Ayda 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.

Untitled

On the concept of formalization and partially ordered quantifiers