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

BR SPCLEARQ FAIA-C-Ct-IT355
Item
? - 1976-11-23

Carta de Ubiratan D’Ambrósio, diretor do IMECC, a H. Roher, convidando-o para participar de banca examinadora do exame de qualificação do doutorado de Lilian Torng Sheng. Campinas, 23 nov. 1976. Ass.: ( ___ ). 1p. dat. cópia.

Untitled

Carta de recomendação de Weiner Krabs

BR SPCLEARQ FAIA-C-Ct-IT358
Item
? - 1981-08-06

Part of Ayda Ignez Arruda

Carta de recomendação, em alemão, de Weiner Krabs, comentando sobre as habilidades do aluno Plínio Stange. Darmstadt, 06 ago. 1981. Ass.: Werner Krabs. 1p. dat. cópia.

Untitled

Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent

BR SPCLEARQ FAIA-Impr-IT470
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.

Untitled

Le schéma de la séparation dans les systèmes NFn

BR SPCLEARQ FAIA-Impr-IT473
Item
1975-05-26

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.

Untitled

Remarques sur les systèmes Cn. C.R. Acad. Sc

BR SPCLEARQ FAIA-Impr-IT480
Item
1975-05-21

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975

Untitled

Sistemas Formais Inconsistentes e Teoria dos Conjuntos

BR SPCLEARQ FAIA-Impr-IT481
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda Ignez. Sistemas Formais Inconsistentes e Teoria dos Conjuntos. s.l., p. 18-25, s.d.

Untitled

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT487
Item
1968-01-08

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.

Untitled

Sur le syst¨¨me NF¦Ø

BR SPCLEARQ FAIA-Impr-IT489
Item
1970-05-04

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.

Untitled

Sur les systèmes Nfi de da Costa

BR SPCLEARQ FAIA-Impr-IT490
Item
1970-04-27

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.

Untitled

A semantical study of some of vagueness logic

BR SPCLEARQ FAIA-Impr-IT493
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 ? 145, s.d.

Untitled

Sur un Théorème de Hilbert et Bernays

BR SPCLEARQ FAIA-Impr-IT503
Item
1964-06-29

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.

Untitled

Une sémantique pour le calcul C1=. C.R

BR SPCLEARQ FAIA-Impr-IT506
Item
1977-01-31

Part of Ayda Ignez Arruda

ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.

Untitled

Um currículo para a formação do professor de matemática do ensino secundário

BR SPCLEARQ FAIA-Impr-IT509
Item
1962-10

Part of Ayda Ignez Arruda

BARSOTTI, Leo; COSTA, Newton C.A. da. Um currículo para a formação do professor de matemática do ensino secundário. Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 5, nº 3, p. 45-84, out. 1962.

Untitled

Remarques sur le système NF1

BR SPCLEARQ FAIA-Impr-IT525
Item
1971-05

Part of Ayda Ignez Arruda

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Untitled

L’ipotese del Continuo

BR SPCLEARQ FAIA-Impr-IT531
Item
1977

Part of Ayda Ignez Arruda

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

Untitled

Su una interpretazione algebricio-categoriale del silogismo

BR SPCLEARQ FAIA-Impr-IT532
Item
1978

Part of Ayda Ignez Arruda

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

Untitled

Logic of negationless intuitionistics mathematics

BR SPCLEARQ FAIA-Impr-IT534
Item
1951

Part of Ayda Ignez Arruda

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

Untitled

International Congress on Logical Mathematic and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT540
Item
1982

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-Impr-IT543
Item
1965

Part of 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

Untitled

On the principle of contradiction in Aristotle

BR SPCLEARQ FAIA-Impr-IT547
Item
1971-03

Part of 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.

Untitled

Questioni di categoricita delle teorie matematiche

BR SPCLEARQ FAIA-Impr-IT551
Item
1976

Part of Ayda Ignez Arruda

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

Untitled

Escola matemática polonesa

BR SPCLEARQ FAIA-Impr-IT562
Item
1964-02

Part of Ayda 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.

Untitled

Curriculum vitae de Lech Dubikajtis

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

Part of Ayda Ignez Arruda

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

Untitled

Curriculum vitae de Roland Fraissé

BR SPCLEARQ FAIA-CV-IT573
Item
[1975]

Part of Ayda Ignez Arruda

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

Untitled

Curriculum vitae de Charles C. Pinter

BR SPCLEARQ FAIA-CV-IT580
Item

Part of Ayda Ignez Arruda

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

Untitled

Curriculum vitae de Cecylia Rausze

BR SPCLEARQ FAIA-CV-IT584
Item

Part of Ayda Ignez Arruda

Curriculum vitae, em inglês, de Cecylia Rauszer. S.l. S.d. S.ass. 1p. dat. cópia.

Untitled

Curriculum vitae de Martin Tygel

BR SPCLEARQ FAIA-CV-IT591
Item
1982-04-19

Part of Ayda Ignez Arruda

Curriculum vitae de Martin Tygel. S.l., 19 abr. 1982. Ass.: Martin Tygel. 8p. dat. cópia.

Untitled

Curriculum vitae de Jaime Alejandro Bohorquez Villamizar

BR SPCLEARQ FAIA-CV-IT592
Item

Part of Ayda Ignez Arruda

Curriculum vitae, em espanhol, de Jaime Alejandro Bohorquez Villamizar. S.l. S.d. S.ass. 2p. dat.

Untitled

Reportagem

BR SPCLEARQ FAIA-H-IT596
Item
[1981]/10/29

Part of Ayda Ignez Arruda

Advogado diz que solução é política. Folha de São Paulo, São Paulo, 29 out. [1981?].

Untitled

Reportagem

BR SPCLEARQ FAIA-H-IT609
Item
[1981]/11/11

Part of Ayda Ignez Arruda

Docentes da Unicamp recorrem à Justiça. S.l.: s.n., 11 nov. [1981?]. Educação, p.15.

Untitled

Narrow your results by:

Language

Part of

Name

Place

Subject

Level of description

Media type

Showing 368 results