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

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.

Sin título

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

BR SPCLEARQ FAIA-Impr-IT568
Unidad documental simple
1965

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

Sin título

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

BR SPCLEARQ FAIA-Impr-IT567
Unidad documental simple
1962

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

Sin título

Escola matemática polonesa

BR SPCLEARQ FAIA-Impr-IT562
Unidad documental simple
1964-02

Parte deAyda Ignez Arruda

SIERPINSKI, Waclaw. Escola matemática polonesa. Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 7, n. 1, p. 1-16, fev. 1964.

Sin título

Alcune osservazione sulle algebre cilindriche speciali

BR SPCLEARQ FAIA-Impr-IT561
Unidad documental simple
1974-03

Parte deAyda Ignez Arruda

SELVI, Roberto. Alcune osservazione sulle algebre cilindriche speciali. Comitato Nazionale per le scienze matematiche del C.N.R, p.191-202, março 1974.

Sin título

Carta de Liang-Hiu Chen a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT56
Unidad documental simple

Parte deJosé Carlos Valladão de Mattos

Carta, em inglês, de Liang-Hiu Chen a JCVM lamentando a não aceitação do artigo escrito por ambos e relatando as suas atuais atividades. ass. Liang-Hiu Chen

Sin título

Conferência

BR SPCLEARQ JCR-F-IT56
Unidad documental simple

Parte deJoaquim da Costa Ribeiro

Fazendo explicações a um pequeno público

Sin título

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT56
Unidad documental simple
1986-06-27

Parte deNewton Carneiro Affonso da Costa

Carta de Mário Tourasse Teixeira

BR SPCLEARQ FNCAC-Cp-IT56
Unidad documental simple

Parte deNewton Carneiro Affonso da Costa

Carta de Mário Tourasse Teixeira a NCAC discutindo teorias acadêmicas, falando sobre seu estado de saúde e pedindo alguns favores. S.l., 13 de maio de [19--] 4p. (ms)

Encontro Nacional de Filosofia - ANPOF, 9

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

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

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

Sin título

Experiência com iças

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

Parte deWalter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Sin título

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

BR SPCLEARQ FAIA-Impr-IT559
Unidad documental simple
1975

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

Sin título

Grundalagenprobleme Einer theorie der klinischen praxis

BR SPCLEARQ FAIA-Impr-IT558
Unidad documental simple
1977

Parte deAyda Ignez Arruda

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

Sin título

On sequential modifications of applied predicate calculi

BR SPCLEARQ FAIA-Impr-IT557
Unidad documental simple
1969

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

Sin título

On the concept of formalization and partially ordered quantifiers

BR SPCLEARQ FAIA-Impr-IT556
Unidad documental simple
1977

Parte deAyda Ignez Arruda

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

Sin título

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-Impr-IT553
Unidad documental simple
1921

Parte deAyda Ignez Arruda

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

Sin título

Lukasiewicz and the Origins of Many-Valued Logic

BR SPCLEARQ FAIA-Impr-IT552
Unidad documental simple
1973

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

Sin título

Questioni di categoricita delle teorie matematiche

BR SPCLEARQ FAIA-Impr-IT551
Unidad documental simple
1976

Parte deAyda Ignez Arruda

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

Sin título

O que é o Impa?

BR SPCLEARQ FAIA-Impr-IT550
Unidad documental simple
1960-02

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

Sin título

Carta de Liang-Hiu Chen a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT55
Unidad documental simple
1985-03-16

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

Sin título

Experiência com iças

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

Parte deWalter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Sin título

Carta de Mário Tourasse Teixeira

BR SPCLEARQ FNCAC-Cp-IT55
Unidad documental simple

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