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

Curriculum vitae de Andrés Rómulo Raggio

BR SPCLEARQ FAIA-CV-IT582
Item

Parte deAyda Ignez Arruda

Curriculum vitae, em francês, de Andrés Rómulo Raggio. S.l. S.d. S.ass. 1p. dat. cópia.

Ayda Ignez Arruda

Curriculum vitae de Francisco Miró Quesada

BR SPCLEARQ FAIA-CV-IT581
Item

Parte deAyda Ignez Arruda

Curriculum vitae, em espanhol, de Francisco Miró Quesada. S.l. S.d. S.ass. 3p. dat.

Ayda Ignez Arruda

Curriculum vitae de Charles C. Pinter

BR SPCLEARQ FAIA-CV-IT580
Item

Parte deAyda Ignez Arruda

Curriculum vitae, em inglês, de Charles C. Pinter. S.l. S.d. S.ass. 3p. dat. cópia.

Ayda Ignez Arruda

Curriculum vitae de Luiz Fernando Monteiro

BR SPCLEARQ FAIA-CV-IT579
Item
1976-05-31

Parte deAyda Ignez Arruda

Curriculum vitae, em espanhol, de Luiz Fernando Monteiro. S.l., 31 maio 1976. S.ass. 4p. dat

Ayda Ignez Arruda

Curriculum vitae de Robert K. Meyer

BR SPCLEARQ FAIA-CV-IT578
Item

Parte deAyda Ignez Arruda

Curriculum vitae, em inglês, de Robert K. Meyer. S.l. S.d. S.ass. 1p. dat.

Ayda Ignez Arruda

Curriculum vitae de George Metakides

BR SPCLEARQ FAIA-CV-IT577
Item

Parte deAyda Ignez Arruda

Curriculum vitae, em inglês, de George Metakides. S.l. S.d. S.ass. 3p. dat. cópia.

Ayda Ignez Arruda

Curriculum vitae de Edgar G.K. Lopes-Escobar

BR SPCLEARQ FAIA-CV-IT576
Item

Parte deAyda Ignez Arruda

Curriculum vitae, em inglês, de Edgar G.K. Lopes-Escobar. S.l., S.d. S.ass. 3p. dat. cópia.

Ayda Ignez Arruda

Curriculum vitae de Marc Krasner

BR SPCLEARQ FAIA-CV-IT575
Item
1976-01-06

Parte deAyda Ignez Arruda

Curriculum vitae, em espanhol, de Marc Krasner. Paris, 06 jan. 1976. S.ass. 1p. dat. cópia

Ayda Ignez Arruda

Curriculum vitae de Jerzy Kotas

BR SPCLEARQ FAIA-CV-IT574
Item
1975-11-24

Parte deAyda Ignez Arruda

Curriculum vitae, em inglês de Jerzy Kotas. Torún, 24 nov. 1975. Ass.: J. Kotas. 2p. dat. cópia

Ayda Ignez Arruda

Curriculum vitae de Roland Fraissé

BR SPCLEARQ FAIA-CV-IT573
Item
[1975]

Parte deAyda Ignez Arruda

Curriculum vitae, em francês, de Roland Fraissé. S.l., [1975]. S.ass. 2p. dat. cópia.

Ayda Ignez Arruda

Curriculum vitae de Lech Dubikajtis

BR SPCLEARQ FAIA-CV-IT572
Item
1979-11-10

Parte deAyda Ignez Arruda

Curriculum vitae, em inglês, de Lech Dubikajtis. Katowice, 10 nov. 1979. Ass.: Lech Dubikajtis. 2p. dat. cópia.

Ayda Ignez Arruda

Curriculum vitae de Florencio G. Asenjo

BR SPCLEARQ FAIA-CV-IT571
Item

Parte deAyda Ignez Arruda

Curriculum vitae, em inglês, de Florencio G. Asenjo. S.l. S.d. S.ass. 4p. dat.

Ayda Ignez Arruda

Les logiques nouvelles et le champ de leur application

BR SPCLEARQ FAIA-I-IT570
Item
1932

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

Logical matrices strongly adequate for structural setential calculi

BR SPCLEARQ FAIA-I-IT569
Item
1969

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

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

BR SPCLEARQ FAIA-I-IT568
Item
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.

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-I-IT567
Item
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.

Ayda Ignez Arruda

Escola matemática polonesa

BR SPCLEARQ FAIA-I-IT562
Item
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.

Ayda Ignez Arruda

Alcune osservazione sulle algebre cilindriche speciali

BR SPCLEARQ FAIA-I-IT561
Item
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.

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-I-IT559
Item
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.

Ayda Ignez Arruda

Grundalagenprobleme Einer theorie der klinischen praxis

BR SPCLEARQ FAIA-I-IT558
Item
1977

Parte deAyda 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-I-IT557
Item
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.

Ayda Ignez Arruda

On the concept of formalization and partially ordered quantifiers

BR SPCLEARQ FAIA-I-IT556
Item
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.

Ayda Ignez Arruda

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-I-IT553
Item
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.

Ayda Ignez Arruda

Lukasiewicz and the Origins of Many-Valued Logic

BR SPCLEARQ FAIA-I-IT552
Item
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.

Ayda Ignez Arruda

Questioni di categoricita delle teorie matematiche

BR SPCLEARQ FAIA-I-IT551
Item
1976

Parte deAyda 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-I-IT550
Item
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.

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-I-IT549
Item
1977

Parte deAyda 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-I-IT548
Item
1976

Parte deAyda 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-I-IT547
Item
1971-03

Parte deAyda 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-I-IT546
Item
1974

Parte deAyda Ignez Arruda

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

Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Parte de

Nome

Local

Assunto

Nível de descrição

Tipo de mídia

Mostrando 406 resultados