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

Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT64
Item
1925

Part of Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro

Untitled

Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT68
Item
1952

Part of Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro em seu laboratório

Untitled

Joaquim da Costa Ribeiro com família e amigos

BR SPCLEARQ JCR-F-IT73
Item

Part of Joaquim da Costa Ribeiro

Álvaro Alberto da Mota e Silva, Joaquim da Costa Ribeiro, Yvonne, Jacqueline de Leers Costa Ribeiro, Martha, Carlos, Luis

Untitled

Joaquim da Costa Ribeiro com família e amigos

BR SPCLEARQ JCR-F-IT72
Item

Part of Joaquim da Costa Ribeiro

Sérgio, Carlos, Joaquim da Costa Ribeiro,Annah, Yvonne, Martha, Jeanne, Maggie

Untitled

Joaquim da Costa Ribeiro com família e amigos

BR SPCLEARQ JCR-F-IT74
Item

Part of Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro, Jacqurline de Leers Costa Ribeiro, Luiz

Untitled

Joaquim da Costa Ribeiro e Almirante Álvaro Alberto da Mota e Silva

BR SPCLEARQ JCR-F-IT75
Item

Part of Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro e Almirante Álvaro Alberto da Mota e Silva

Untitled

Joaquim da Costa Ribeiro e Jacqueline de Leers Costa Ribeiro

BR SPCLEARQ JCR-F-IT71
Item

Part of Joaquim da Costa Ribeiro

Álvaro Alberto da Mota e Silva, Joaquim da Costa Ribeiro e Jacqueline de Leers Costa Ribeiro

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

Laser Doppler Velocimetry of Electron-Hole Drops in Germanium

BR SPCLEARQ CJCVM-I-IT236
Item
1977-03-28

Part of José Carlos Valladão de Mattos

Laser Doppler Velocimetry of Electron-Hole Drops in Germanium. Physical Review Letters, 28 March 1977. v. 38, n. 13. p. 726-729.

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 fórmulas referentes à disciplina Introdução à Termodinâmica

BR SPCLEARQ FNB-USP-IT226
Item
1989

Part of Newton Bernardes

226 ? Lista de fórmulas referentes à disciplina Introdução à Termodinâmica elaborada por Newton Bernardes.

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

Livro de Carmen Carneiro “Plenitude”.

BR SPCLEARQ FNCAC-DP-DCC-C-010
Item
1969

Part of Newton Carneiro Affonso da Costa

CARNEIRO, Carmen. Plenitude. Curitiba. Paraná: Gráfica Vicentina Ltda.

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

Lógica e Metalógica

BR SPCLEARQ FAIA-PItm-IT460
Item

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

Untitled

Narrow your results by:

Language

Part of

Creator

Name

Place

Subject

Genre

Level of description

Media type

Showing 5150 results