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

Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii

BR SPCLEARQ FAIA-Impr-IT567
Unidad documental simple
1962

Parte deAyda Ignez Arruda

SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Moskva, p.242-257, 1962.

Sin título

Lógicas de conceitos inexatos

BR SPCLEARQ FAIA-PIm-EL-IT414
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.

Sin título

Logical matrices strongly adequate for structural setential calculi

BR SPCLEARQ FAIA-Impr-IT569
Unidad documental simple
1969

Parte deAyda Ignez Arruda

WÓJCICK, R. Logical matrices strongly adequate for structural setential calculi. Bulletin del?Académie Polonaise des sciences, v.18, n.6, p.333-335, 1969.

Sin título

Lógica Imaginária (Não-Aristotélica)

BR SPCLEARQ FAIA-PItm-IT461
Unidad documental simple

Parte deAyda Ignez Arruda

Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica Imaginária (Não-Aristotélica). S.l., S.d. S.ass. 54p. dat.

Sin título

Lógica e Metalógica

BR SPCLEARQ FAIA-PItm-IT460
Unidad documental simple

Parte deAyda Ignez Arruda

Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica e Metalógica. S.l., S.d. S.ass. 41p. dat.

Sin título

Logic of negationless intuitionistics mathematics

BR SPCLEARQ FAIA-Impr-IT534
Unidad documental simple
1951

Parte deAyda Ignez Arruda

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

Sin título

Lista de publicações de Alfred Tarski

BR SPCLEARQ FAIA-CV-IT590
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Lista de professores do IMECC

BR SPCLEARQ FAIA-IU-IT155
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT126
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT124
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT125
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT127
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Lista de endereços

BR SPCLEARQ FAIA-DP-IT012
Unidad documental simple

Parte deAyda Ignez Arruda

Lista de endereços

Linguagem de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT413
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Les logiques nouvelles et le champ de leur application

BR SPCLEARQ FAIA-Impr-IT570
Unidad documental simple
1932

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

Sin título

Leibniziani e strutture alla luce della logica matematica

BR SPCLEARQ FAIA-Impr-IT520
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-Impr-IT499
Unidad documental simple
1974

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

Sin título

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

BR SPCLEARQ FAIA-Impr-IT473
Unidad documental simple
1975-05-26

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

Sin título

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

BR SPCLEARQ FAIA-PItm-IT456
Unidad documental simple

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

Sin título

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

BR SPCLEARQ FAIA-Impr-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.

Sin título

La mathématique classiques dans Nfw

BR SPCLEARQ FAIA-Impr-IT472
Unidad documental simple
1971-05-03

Parte deAyda Ignez Arruda

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

Sin título

L’ipotese del Continuo

BR SPCLEARQ FAIA-Impr-IT531
Unidad documental simple
1977

Parte deAyda Ignez Arruda

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

Sin título

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

BR SPCLEARQ FAIA-PIm-V-IT372
Unidad documental simple

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

Sin título

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

BR SPCLEARQ FAIA-PItm-IT446
Unidad documental simple

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

Sin título

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-Impr-IT553
Unidad documental simple
1921

Parte deAyda Ignez Arruda

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

Sin título

Introduction: A Short History of the Latin American Logic Symposia

BR SPCLEARQ FAIA-Impr-IT507
Unidad documental simple

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

Sin título

Introdução: 3 – Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT403
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

International Congress on Logical Mathematic and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT540
Unidad documental simple
1982

Parte deAyda Ignez Arruda

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

Sin título

International Congress of Logic, Methodology and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT539
Unidad documental simple
1974-12

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

Sin título

Informe de Paul Weingartner

BR SPCLEARQ FAIA-AA-DCS-IT103
Unidad documental simple
1983-03-29

Parte deAyda Ignez Arruda

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

Sin título

Restringir resultados por:

Idioma

Parte de

Nombre

Lugar

Materia

Nivel de descripción

Tipo de soporte

Mostrando 697 resultados