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

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

BR SPCLEARQ FAIA-Impr-IT548
Item
1976

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

Ayda Ignez Arruda

On the principle of contradiction in Aristotle

BR SPCLEARQ FAIA-Impr-IT547
Item
1971-03

LUKASIEWICZ, Jan. On the principle of contradiction in Aristotle. Tradução para inglês de Vernon Wedin. Rev. Metaphys, v.XXIV, p. 485-509, mar. 1971. Título original: Über den Satz des Widersprachs bei Aristoteles.

Ayda Ignez Arruda

Un principio di riflessione nella teoria delle classi

BR SPCLEARQ FAIA-Impr-IT546
Item
1974

Parte de Ayda Ignez Arruda

LOLLI, Gabrielle. Un principio di riflessione nella teoria delle classi. Matematiche, Catania, v.28, p.209-228, 1974.

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

Vasil’év and the development of Many-valued logic

BR SPCLEARQ FAIA-Impr-IT543
Item
1965

Parte de Ayda Ignez Arruda

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

Ayda Ignez Arruda

Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem

BR SPCLEARQ FAIA-Impr-IT542
Item
1973.

Parte de Ayda Ignez Arruda

JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.

Ayda Ignez Arruda

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-Impr-IT541
Item
1969

Parte de Ayda Ignez Arruda

JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969.

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

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT54
Item
1986-02-05

Parte de Newton Carneiro Affonso da Costa

Conferência

BR SPCLEARQ JCR-F-IT54
Item

Parte de Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro e outros

Joaquim da Costa Ribeiro

Carta de Liang-Hiu Chen a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT54
Item
1984-11-20

Parte de José Carlos Valladão de Mattos

Carta de Liang-Hiu Chen a JCVM informando sobre trabalhos desenvolvidos conjuntamente, relatando sobre a publicação de artigos em que são co-autore.s Ass. Liang-Hiu Chen.

José Carlos Valladão de Mattos

Carta de Marcel Guilhaume

BR SPCLEARQ FNCAC-Cp-IT54
Item
2000-04-25

Parte de Newton Carneiro Affonso da Costa

Carta de Marcel Guilhaume a NCAC agradecendo o recebimento do livro de Lars Eriksen com duas dedicatórias, uma do próprio autor e uma do NCAC e avisando que o visitará no Brasil. S.l., 25 de abr. de 2000. 1p.

Newton Carneiro Affonso da Costa

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT54
Item
[1968/10/24]

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Encontro Nacional de Filosofia - ANPOF, 9

BR SPCLEARQ CANPOF-F-IT54
Item
3-8 out. 2000

Parte de Associação Nacional de Pós-graduação em Filosofia (ANPOF)

Marilena de Souza Chaui e Fátima Regina R. Évora

Associação Nacional de Pós-graduação em Filosofia

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

A Lógica e a Matemática são idênticas?

BR SPCLEARQ FAIA-Impr-IT535
Item
1964-10

Parte de Ayda Ignez Arruda

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

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

Incompleteness and truth definition

BR SPCLEARQ FAIA-Impr-IT533
Item
1971

Parte de Ayda Ignez Arruda

GERMANO, G. Incompleteness and truth definition. Theoria, s.l., n.37, p.86-90, 1971.

Ayda Ignez Arruda

Su una interpretazione algebricio-categoriale del silogismo

BR SPCLEARQ FAIA-Impr-IT532
Item
1978

Parte de Ayda Ignez Arruda

FREGUGLIA, Paolo. Su una interpretazione algebricio-categoriale del silogismo. Archimede, s.l., n.1-2, p.30-41, 1978.

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

How I created the theory of relativity

BR SPCLEARQ FAIA-Impr-IT530
Item
1982-08

Parte de Ayda Ignez Arruda

EINSTEIN, Albert. How I created the theory of relativity. Physics Today, s.l., p.45-47, ago. 1982.

Ayda Ignez Arruda

Carta de Marcel Guilhaume

BR SPCLEARQ FNCAC-Cp-IT53
Item
1965-05-29

Parte de Newton Carneiro Affonso da Costa

Carta de Marcel Guilhaume a NCAC comunicando sua vinda ao Brasil e o desejo de publicar um artigo na Revista da Sociedade Paranaense de Matemática. S.l., 29 de maio de 1965. 2p. (ms)

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT53
Item
1985-11-26

Parte de Newton Carneiro Affonso da Costa

Carta de Peter Cervenka a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT53
Item
1976-03-08

Parte de José Carlos Valladão de Mattos

Carta de Peter Cervenka a JCVM manifestando a felicidade em receber notícias do mesmo, falando sobre trabalhos científicos, relatando os problemas ocorridos durante asua viagem à Campinas e demonstrando a vontade de trabalhar conjuntamente. Ass. Peter Cervenka.

José Carlos Valladão de Mattos

Experiência com iças