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

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

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

BR SPCLEARQ FAIA-Impr-IT568
Item
1965

Part of Ayda Ignez Arruda

SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Izdatel'stvo MGU, p.242-257, 1962. Resenha de: COMEY, David Dinsmore. The Journal of Symbolic Logic, s.l., v.30, n.3, p.368-70, 1965.

Untitled

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

BR SPCLEARQ FAIA-Impr-IT567
Item
1962

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

Untitled

Lógicas de conceitos inexatos

BR SPCLEARQ FAIA-PIm-EL-IT414
Item

Part of Ayda Ignez Arruda

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

Untitled

Logical matrices strongly adequate for structural setential calculi

BR SPCLEARQ FAIA-Impr-IT569
Item
1969

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

Untitled

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

BR SPCLEARQ FAIA-PItm-IT461
Item

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

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

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

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.

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

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 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 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 endereços

BR SPCLEARQ FAIA-DP-IT012
Item

Part of Ayda Ignez Arruda

Lista de endereços

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

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

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

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

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

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

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

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

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

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

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

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

Narrow your results by:

Language

Part of

Creator

Name

Place

Subject

Genre

Level of description

Media type

Showing 1703 results