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

Encontro Nacional de Filosofia - ANPOF, 9

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

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

Márcio Damin Custódio, Emanuela D. Oliveira

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

Experiência com iças

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

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Problemi di decisione per algebre comesse a logiche a più valori

BR SPCLEARQ FAIA-Impr-IT559
Item
1975

Parte de Ayda Ignez Arruda

SAELI, Donato. Problemi di decisione per algebre comesse a logiche a più valori. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur., v. 59, p. 219-223, 1975.

Ayda Ignez Arruda

Grundalagenprobleme Einer theorie der klinischen praxis

BR SPCLEARQ FAIA-Impr-IT558
Item
1977

Parte de Ayda Ignez Arruda

SADEGH-ZADEH, K. Grundalagenprobleme Einer theorie der klinischen praxis. Metamed, v.1, p.76-102, 1977.

Ayda Ignez Arruda

On sequential modifications of applied predicate calculi

BR SPCLEARQ FAIA-Impr-IT557
Item
1969

Parte de Ayda Ignez Arruda

ROGAVA, M.G. On sequential modifications of applied predicate calculi. Semin. Math., V.A. Steklov Math. Inst. Leningrad 4, p.77-81, 1969.

Ayda Ignez Arruda

On the concept of formalization and partially ordered quantifiers

BR SPCLEARQ FAIA-Impr-IT556
Item
1977

Parte de Ayda Ignez Arruda

QVARNSTRÖM, Bengt-Olof. On the concept of formalization and partially ordered quantifiers. Linguistics and Philosophy, v.1, p.307-319, 1977.

Ayda Ignez Arruda

Campinas, bicentenário é turismo

BR SPCLEARQ FAIA-Impr-IT555
Item
1974

Parte de Ayda Ignez Arruda

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas, bicentenário é turismo. Departamento de Turismo: Campinas, 1974. 24p.

Ayda Ignez Arruda

Vibre com o roteiro turístico da vida, trabalho e do amor

BR SPCLEARQ FAIA-Impr-IT554
Item
1974

Parte de Ayda Ignez Arruda

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas. Vibre com o roteiro turístico da vida, trabalho e do amor. Departamento de Turismo: Campinas, 1974. 12p.

Ayda Ignez Arruda

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-Impr-IT553
Item
1921

Parte de Ayda Ignez Arruda

POST, Emil L. Introduction to a general theory of elementary porpositions. American Journal of Mathematics, n.43, p.163-185, 1921.

Ayda Ignez Arruda

Lukasiewicz and the Origins of Many-Valued Logic

BR SPCLEARQ FAIA-Impr-IT552
Item
1973

Parte de Ayda Ignez Arruda

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

Questioni di categoricita delle teorie matematiche

BR SPCLEARQ FAIA-Impr-IT551
Item
1976

Parte de Ayda Ignez Arruda

PALADINO, Dario. Questioni di categoricita delle teorie matematiche. Archimede, v.28, n.1, p.21-34, 1976.

Ayda Ignez Arruda

O que é o Impa?

BR SPCLEARQ FAIA-Impr-IT550
Item
1960-02

Parte de Ayda Ignez Arruda

NACHBIN, Leopoldo. O que é o Impa? Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 3, n. 1, p. 1-12, fev. 1960.

Ayda Ignez Arruda

Carta de Liang-Hiu Chen a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT55
Item
1985-03-16

Parte de José Carlos Valladão de Mattos

Carta, em inglês, de Liang-Hiu Chen a JCVM falando sobre o livro emprestado por ele em sua estadia na Unicamp a um estudante e solicitando que JCVM o socorra. ass. Liang-Hiu Chen

José Carlos Valladão de Mattos

Experiência com iças

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

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Carta de Mário Tourasse Teixeira

BR SPCLEARQ FNCAC-Cp-IT55
Item

Parte de Newton Carneiro Affonso da Costa

Carta de Mário Tourasse Teixeira a NCAC esperando que ele esteja gostando do Instituto Tecnológico da Aeronáutica, informando que ele foi muito elogiado e esperando que nas férias eles se encontrem para estudarem juntos. S.l., 10 de mar. de [19--] 1p. (ms)

Conferência

BR SPCLEARQ JCR-F-IT55
Item

Parte de Joaquim da Costa Ribeiro

Grupo de pessoas olhando um painel de fotos mediante a explicação de ?

Joaquim da Costa Ribeiro

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT55
Item
1986-05-16

Parte de Newton Carneiro Affonso da Costa

Encontro Nacional de Filosofia - ANPOF, 9

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

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

Oswaldo Porchat

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

A partial comparison of two conditions on the intersections of regressive sets

BR SPCLEARQ FAIA-Impr-IT549
Item
1977

Parte de Ayda Ignez Arruda

McLAUGHLIN, Von T.G. A partial comparison of two conditions on the intersections of regressive sets. Arch. Math. Logik, v.18, p.159-167, 1977.

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

On the principle of contradiction in Aristotle

BR SPCLEARQ FAIA-Impr-IT547
Item
1971-03

Parte de Ayda Ignez Arruda

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

Comutadores em Variedades de Mal'cev

BR SPCLEARQ FAIA-Impr-IT545
Item
1982-06

Parte de Ayda Ignez Arruda

LAZARI, Henrique. Comutadores em Variedades de Mal'cev. jun. 1982. 61 p. Dissertação (Mestrado em Matemática) - Instituto de Matemática, Estatística e Ciência da Computação; Universidade Estadual de Campinas. cópia.

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