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

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

BR SPCLEARQ FAIA-Impr-IT548
Unidad documental simple
1976

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

Sin título

On the principle of contradiction in Aristotle

BR SPCLEARQ FAIA-Impr-IT547
Unidad documental simple
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.

Sin título

Un principio di riflessione nella teoria delle classi

BR SPCLEARQ FAIA-Impr-IT546
Unidad documental simple
1974

Parte deAyda Ignez Arruda

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

Sin título

La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde

BR SPCLEARQ FAIA-Impr-IT544
Unidad documental simple

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

Sin título

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

BR SPCLEARQ FAIA-Impr-IT543
Unidad documental simple
1965

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

Sin título

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

BR SPCLEARQ FAIA-Impr-IT542
Unidad documental simple
1973.

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

Sin título

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-Impr-IT541
Unidad documental simple
1969

Parte deAyda Ignez Arruda

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

Sin título

International Congress on Logical Mathematic and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT540
Unidad documental simple
1982

Parte deAyda Ignez Arruda

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

Sin título

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT54
Unidad documental simple
1986-02-05

Parte deNewton Carneiro Affonso da Costa

Conferência

BR SPCLEARQ JCR-F-IT54
Unidad documental simple

Parte deJoaquim da Costa Ribeiro

Joaquim da Costa Ribeiro e outros

Sin título

Carta de Liang-Hiu Chen a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT54
Unidad documental simple
1984-11-20

Parte deJosé 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.

Sin título

Carta de Marcel Guilhaume

BR SPCLEARQ FNCAC-Cp-IT54
Unidad documental simple
2000-04-25

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

Sin título

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT54
Unidad documental simple
[1968/10/24]

Parte deWalter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Sin título

Encontro Nacional de Filosofia - ANPOF, 9

BR SPCLEARQ CANPOF-F-IT54
Unidad documental simple
3-8 out. 2000

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

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

Sin título

International Congress of Logic, Methodology and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT539
Unidad documental simple
1974-12

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

Sin título

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

BR SPCLEARQ FAIA-Impr-IT535
Unidad documental simple
1964-10

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

Sin título

Logic of negationless intuitionistics mathematics

BR SPCLEARQ FAIA-Impr-IT534
Unidad documental simple
1951

Parte deAyda Ignez Arruda

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

Sin título

Incompleteness and truth definition

BR SPCLEARQ FAIA-Impr-IT533
Unidad documental simple
1971

Parte deAyda Ignez Arruda

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

Sin título

Su una interpretazione algebricio-categoriale del silogismo

BR SPCLEARQ FAIA-Impr-IT532
Unidad documental simple
1978

Parte deAyda Ignez Arruda

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

Sin título

L’ipotese del Continuo

BR SPCLEARQ FAIA-Impr-IT531
Unidad documental simple
1977

Parte deAyda Ignez Arruda

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

Sin título

How I created the theory of relativity

BR SPCLEARQ FAIA-Impr-IT530
Unidad documental simple
1982-08

Parte deAyda Ignez Arruda

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

Sin título

Carta de Marcel Guilhaume

BR SPCLEARQ FNCAC-Cp-IT53
Unidad documental simple
1965-05-29

Parte deNewton 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
Unidad documental simple
1985-11-26

Parte deNewton Carneiro Affonso da Costa

Carta de Peter Cervenka a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT53
Unidad documental simple
1976-03-08

Parte deJosé 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.

Sin título

Experiência com iças