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

The set of quantifiers of an atomic Boolean algebra

BR SPCLEARQ FAIA-Impr-IT528
Item
1970-09

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

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

L’ipotese del Continuo

BR SPCLEARQ FAIA-Impr-IT531
Item
1977

Part of Ayda Ignez Arruda

FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.

Untitled

Su una interpretazione algebricio-categoriale del silogismo

BR SPCLEARQ FAIA-Impr-IT532
Item
1978

Part of Ayda Ignez Arruda

FREGUGLIA, Paolo. Su una interpretazione algebricio-categoriale del silogismo. Archimede, s.l., n.1-2, p.30-41, 1978.

Untitled

Incompleteness and truth definition

BR SPCLEARQ FAIA-Impr-IT533
Item
1971

Part of Ayda Ignez Arruda

GERMANO, G. Incompleteness and truth definition. Theoria, s.l., n.37, p.86-90, 1971.

Untitled

Logic of negationless intuitionistics mathematics

BR SPCLEARQ FAIA-Impr-IT534
Item
1951

Part of Ayda Ignez Arruda

GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951.

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

International Congress of Logic, Methodology and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT539
Item
1974-12

Part of Ayda Ignez Arruda

INTERNATIONAL Congress of Logic, Methodology and Philosophy of Science, 5, 27 ago. - 2 set. 1975, London, Ontario, Canada. Bulletin n° 2. London: University of Western Ontario, dez. 1974. 18p.

Untitled

International Congress on Logical Mathematic and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT540
Item
1982

Part of Ayda Ignez Arruda

INTERNATIONAL Congress on Logical Mathematic and Philosophy of Science., 7, 11-16 jul. 1983. Cartaz. Salzburg, Austria: 1982. 1p.

Untitled

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-Impr-IT541
Item
1969

Part of Ayda Ignez Arruda

JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969.

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

Vasil’év and the development of Many-valued logic

BR SPCLEARQ FAIA-Impr-IT543
Item
1965

Part of Ayda Ignez Arruda

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

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

Comutadores em Variedades de Mal'cev

BR SPCLEARQ FAIA-Impr-IT545
Item
1982-06

Part of Ayda Ignez Arruda

LAZARI, Henrique. Comutadores em Variedades de Mal'cev. jun. 1982. 61 p. Dissertação (Mestrado em Matemática) - Instituto de Matemática, Estatística e Ciência da Computação; Universidade Estadual de Campinas. cópia.

Untitled

Un principio di riflessione nella teoria delle classi

BR SPCLEARQ FAIA-Impr-IT546
Item
1974

Part of Ayda Ignez Arruda

LOLLI, Gabrielle. Un principio di riflessione nella teoria delle classi. Matematiche, Catania, v.28, p.209-228, 1974.

Untitled

On the principle of contradiction in Aristotle

BR SPCLEARQ FAIA-Impr-IT547
Item
1971-03

Part of Ayda Ignez Arruda

LUKASIEWICZ, Jan. On the principle of contradiction in Aristotle. Tradução para inglês de Vernon Wedin. Rev. Metaphys, v.XXIV, p. 485-509, mar. 1971. Título original: Über den Satz des Widersprachs bei Aristoteles.

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

O que é o Impa?

BR SPCLEARQ FAIA-Impr-IT550
Item
1960-02

Part of Ayda Ignez Arruda

NACHBIN, Leopoldo. O que é o Impa? Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 3, n. 1, p. 1-12, fev. 1960.

Untitled

Questioni di categoricita delle teorie matematiche

BR SPCLEARQ FAIA-Impr-IT551
Item
1976

Part of Ayda Ignez Arruda

PALADINO, Dario. Questioni di categoricita delle teorie matematiche. Archimede, v.28, n.1, p.21-34, 1976.

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

Introduction to a general theory of elementary porpositions