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

Lukasiewicz and the Origins of Many-Valued Logic

BR SPCLEARQ FAIA-Impr-IT552
Item
1973

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Boolean Powers in algebric logic

BR SPCLEARQ FAIA-Impr-IT527
Item
1971

Part of Ayda Ignez Arruda

DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

Untitled

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Item
1976-06

Part of Ayda Ignez Arruda

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Untitled

Remarques sur le système NF1

BR SPCLEARQ FAIA-Impr-IT525
Item
1971-05

Part of Ayda Ignez Arruda

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Untitled

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Part of Ayda Ignez Arruda

COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.

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

Narrow your results by:

Language

Part of

Name

Place

Subject

Level of description

Media type

Showing 743 results