Information object browse - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

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

BR SPCLEARQ FAIA-Impr-IT567
Item
1962

Parte de Ayda 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.

Ayda Ignez Arruda

Lógicas de conceitos inexatos

BR SPCLEARQ FAIA-PIm-EL-IT414
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Logical matrices strongly adequate for structural setential calculi

BR SPCLEARQ FAIA-Impr-IT569
Item
1969

Parte de Ayda 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.

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT461
Item

Parte de Ayda 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.

Ayda Ignez Arruda

Lógica e Metalógica

BR SPCLEARQ FAIA-PItm-IT460
Item

Parte de Ayda 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.

Ayda Ignez Arruda

Logic of negationless intuitionistics mathematics

BR SPCLEARQ FAIA-Impr-IT534
Item
1951

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Lista de publicações de Alfred Tarski

BR SPCLEARQ FAIA-CV-IT590
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Lista de professores do IMECC

BR SPCLEARQ FAIA-IU-IT155
Item

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

Ayda Ignez Arruda

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT126
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT124
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT125
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Lista de exercícios de AIA

BR SPCLEARQ FAIA-AA-DD-IT127
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Lista de endereços

BR SPCLEARQ FAIA-DP-IT012
Item

Parte de Ayda Ignez Arruda

Lista de endereços

Linguagem de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT413
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Les logiques nouvelles et le champ de leur application

BR SPCLEARQ FAIA-Impr-IT570
Item
1932

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

Ayda Ignez Arruda

Leibniziani e strutture alla luce della logica matematica

BR SPCLEARQ FAIA-Impr-IT520
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-Impr-IT499
Item
1974

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

Ayda Ignez Arruda

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

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

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT456
Item

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

Ayda Ignez Arruda

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

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

Ayda Ignez Arruda

La mathématique classiques dans Nfw

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

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

Ayda Ignez Arruda

L’ipotese del Continuo

BR SPCLEARQ FAIA-Impr-IT531
Item
1977

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PIm-V-IT372
Item

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT446
Item

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

Ayda Ignez Arruda

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-Impr-IT553
Item
1921

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Introduction: A Short History of the Latin American Logic Symposia

BR SPCLEARQ FAIA-Impr-IT507
Item

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

Ayda Ignez Arruda

Introdução: 3 – Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT403
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

International Congress on Logical Mathematic and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT540
Item
1982

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

International Congress of Logic, Methodology and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT539
Item
1974-12

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

Ayda Ignez Arruda

Informe de Paul Weingartner

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Parte de

Nome

Local

Assunto

Nível de descrição

Tipo de mídia

Mostrando 697 resultados