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

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.

Ayda Ignez Arruda

Logique sans igalité et (k,p)-quasivalence

BR SPCLEARQ FAIA-Impr-IT548
Item
1976

Parte de Ayda Ignez Arruda

MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-Impr-IT568
Item
1965

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

Ayda Ignez Arruda

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

Livro de Carmen Carneiro “Plenitude”.

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

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

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

BR SPCLEARQ FNB-USP-IT226
Item
1989

Parte de Newton Bernardes

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

Newton Bernardes

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

Laser Doppler Velocimetry of Electron-Hole Drops in Germanium

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

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

José Carlos Valladão de Mattos

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

Limite seus resultados por:

Idioma

Parte de

Produtor

Nome

Local

Assunto

Gênero

Nível de descrição

Tipo de mídia

Mostrando 1703 resultados