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

Generalization of some results of Elie Sanchez

BR SPCLEARQ FAIA-PItm-IT448
Item
[1982-1983]

Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.

Untitled

Gödel’s collected works (A.S.L. Project)

BR SPCLEARQ FAIA-PItm-IT444
Item

Part of Ayda Ignez Arruda

Estudo, em inglês, de Solomon Feferman, intitulado Gödel’s collected works (A.S.L. Project). Stanford University, USA, S.d. S.ass. 3p. dat.

Untitled

Grundalagenprobleme Einer theorie der klinischen praxis

BR SPCLEARQ FAIA-Impr-IT558
Item
1977

Part of Ayda Ignez Arruda

SADEGH-ZADEH, K. Grundalagenprobleme Einer theorie der klinischen praxis. Metamed, v.1, p.76-102, 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

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

Independência de axiomas

BR SPCLEARQ FAIA-PIm-CP-IT402
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.

Untitled

Informe de Paul Weingartner

BR SPCLEARQ FAIA-AA-DCS-IT103
Item
1983-03-29

Part of Ayda Ignez Arruda

Informe de Paul Weingartner, presidente do comitê organizador local, aceitando artigo para a publicação nos anais do congresso.

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

Introdução: 3 – Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT403
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Untitled

Introduction: A Short History of the Latin American Logic Symposia

BR SPCLEARQ FAIA-Impr-IT507
Item

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

Untitled

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-Impr-IT553
Item
1921

Part of Ayda Ignez Arruda

POST, Emil L. Introduction to a general theory of elementary porpositions. American Journal of Mathematics, n.43, p.163-185, 1921.

Untitled

Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos

BR SPCLEARQ FAIA-PItm-IT446
Item

Part of Ayda Ignez Arruda

Artigo, em espanhol, de Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos. S.l., S.d. S.ass. 9p. dat. cópia.

Untitled

Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT372
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.

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

La mathématique classiques dans Nfw

BR SPCLEARQ FAIA-Impr-IT472
Item
1971-05-03

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

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

Las concepciones logicas de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT456
Item

Part of Ayda Ignez Arruda

Tradução, em espanhol, do artigo de V.A. Smirnov, intitulado Las concepciones logicas de N.A. Vasil’év. S.l., S.d. S.ass. 11p. dat

Untitled

Le schéma de la séparation dans les systèmes NFn

BR SPCLEARQ FAIA-Impr-IT473
Item
1975-05-26

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.

Untitled

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-Impr-IT499
Item
1974

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

Untitled

Leibniziani e strutture alla luce della logica matematica

BR SPCLEARQ FAIA-Impr-IT520
Item

Part of Ayda Ignez Arruda

CARRUCCIO, Ettore. Mondo Possibili Leibniziani e strutture alla luce della logica matematica. Filosofia-Metodologia-Didatica, p.203-21. s.d.

Untitled

Les logiques nouvelles et le champ de leur application

BR SPCLEARQ FAIA-Impr-IT570
Item
1932

Part of Ayda Ignez Arruda

ZAWIRSKI, Sigismond. Les logiques nouvelles et le champ de leur application. Revue de Métaphyisique et de Morale, vol.39, p.503-519, 1932.

Untitled

Linguagem de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT413
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Untitled

Lista de endereços

BR SPCLEARQ FAIA-DP-IT012
Item

Part of Ayda Ignez Arruda

Lista de endereços

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT126
Item

Part of Ayda Ignez Arruda

Lista de exercícios de AIA, contendo algumas soluções.

Untitled

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT124
Item

Part of Ayda Ignez Arruda

Lista de exercícios de AIA, contendo algumas soluções.

Untitled

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT125
Item

Part of Ayda Ignez Arruda

Lista de exercícios de AIA, contendo algumas soluções.

Untitled

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT127
Item

Part of Ayda Ignez Arruda

Lista de exercícios de AIA, contendo algumas soluções.

Untitled

Lista de professores do IMECC

BR SPCLEARQ FAIA-IU-IT155
Item

Part of Ayda Ignez Arruda

Lista de professores do IMECC que apoiam a interpelação judicial para tirar Frederico Pimentel do cargo de direção do instituto.

Untitled

Lista de publicações de Alfred Tarski

BR SPCLEARQ FAIA-CV-IT590
Item

Part of Ayda Ignez Arruda

Lista de publicações de Alfred Tarski. S.l. S.d. S.ass. 4p. dat. cópia.

Untitled

Narrow your results by:

Language

Part of

Name

Place

Subject

Level of description

Media type

Showing 743 results