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

Un calcul des applications

BR SPCLEARQ FAIA-I-IT523
Item
1971

Parte deAyda Ignez Arruda

CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971.

Ayda Ignez Arruda

The set of quantifiers of an atomic Boolean algebra

BR SPCLEARQ FAIA-I-IT528
Item
1970-09

Parte deAyda Ignez Arruda

DEMAREE, Daniel B. The set of quantifiers of an atomic Boolean algebra. Mathematisch Centrum, Amsterdam, 4p. set. 1970.

Ayda Ignez Arruda

On structural completeness of some nonclassical predicate calculi

BR SPCLEARQ FAIA-I-IT529
Item
1975

Parte deAyda Ignez Arruda

DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

Ayda Ignez Arruda

How I created the theory of relativity

BR SPCLEARQ FAIA-I-IT530
Item
1982-08

Parte deAyda Ignez Arruda

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

Ayda Ignez Arruda

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

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

Ayda Ignez Arruda

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

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

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-I-IT544
Item

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.

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

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

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

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

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

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

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

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

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

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 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 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 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 Hanamantagouda Pandappa Sankappanava

BR SPCLEARQ FAIA-CV-IT587
Item
1978-04-26

Parte deAyda Ignez Arruda

Curriculum vitae de Hanamantagouda Pandappa Sankappanavar. Salvador, 26 abr. 1978. Ass.: Sanka. 6p. dat.

Ayda Ignez Arruda

Curriculum vitae de Plinio Stange

BR SPCLEARQ FAIA-CV-IT588
Item
1981-08

Parte deAyda Ignez Arruda

Curriculum vitae de Plinio Stange. Darmstadt, ago. 1981. Ass.: P. Stange. 3p. dat.

Ayda Ignez Arruda

Reportagem

BR SPCLEARQ FAIA-H-IT598
Item
[1981]/10/28

Parte deAyda Ignez Arruda

Assalto (atrapalhado) à Unicamp. S.l.: s.n., 28 out. [1981?].

Ayda Ignez Arruda

Reportagem

BR SPCLEARQ FAIA-H-IT601
Item
1981/10/18

Parte deAyda Ignez Arruda

CARDOSO, Irede. Comunidade quer democratização. Folha de São Paulo, São Paulo, 18 out. 1981.

Ayda Ignez Arruda

Reportagem

BR SPCLEARQ FAIA-H-IT604
Item
[1981]/11/4

Parte deAyda Ignez Arruda

Comunidade decide na Engenharia. S.l.: s.n, 4 nov. [1981?]. Educação, p.15.

Ayda Ignez Arruda

Reportagem

BR SPCLEARQ FAIA-H-IT605
Item
1981/10/31

Parte deAyda Ignez Arruda

Daruge não vai continuar. S.l.: s.n., 31 out. 1981. p.11.

Ayda Ignez Arruda

Reportagem

BR SPCLEARQ FAIA-H-IT606
Item
1981/10/19

Parte deAyda Ignez Arruda

Decisão na Unicamp: eleger um reitor em votação direta. O Estado de São Paulo, São Paulo, 19 out. 1981.

Ayda Ignez Arruda

Reportagem

BR SPCLEARQ FAIA-H-IT607
Item
1981/10/18

Parte deAyda Ignez Arruda

Demissão da diretoria da Assuc leva a um dia de luto na Unicamp. Folha de São Paulo, São Paulo, 18 out. 1981.

Ayda Ignez Arruda

Reportagem

BR SPCLEARQ FAIA-H-IT612
Item
[1981]/11/10

Parte deAyda Ignez Arruda

Exigências da Unicamp já estão com o reitor. S.l.: s.n., 10 nov. [1981?]. Educação, p.14.

Ayda Ignez Arruda

Reportagem

BR SPCLEARQ FAIA-H-IT613
Item
[1981]/11/05

Parte deAyda Ignez Arruda

Exigências são entregues à reitoria da Unicamp. S.l.: s.n., 5 nov. [1981?]. Educação, p.15.

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