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

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

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

Reportagem

BR SPCLEARQ FAIA-H-IT616
Item
1981/10/21

Part of Ayda Ignez Arruda

Fora, interventores!: foi assim que os alunos receberam os professores substitutos na Unicamp. Jornal da Tarde, São Paulo, 21 out. 1981.

Untitled

Reportagem

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

Part of Ayda Ignez Arruda

GREGORI, José. A crise da Unicamp. Folha de São Paulo, São Paulo, 29 out. [1981?]. Tendências/Debates.

Untitled

Reportagem

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

Part of Ayda Ignez Arruda

Manifestação fará defesa da Unicamp. Folha de Paulo, São Paulo, 29 out. [1981?].

Untitled

Reportagem

BR SPCLEARQ FAIA-H-IT630
Item
19 nov. 1981

Part of Ayda Ignez Arruda

Novos diretores para a Unicamp: professores discutem a proposta do reitor. Correio Popular, Campinas, 19 nov. 1981. Local, p. 10.

Untitled

Reportagem

BR SPCLEARQ FAIA-H-IT639
Item
[1981]/11/04

Part of Ayda Ignez Arruda

Professores fazem duas exigências na Unicamp. S.l.: s.n, 4 nov. [1981?]. Educação, p.15.

Untitled

Reportagem

BR SPCLEARQ FAIA-H-IT648
Item
1981//11/08

Part of Ayda Ignez Arruda

RIPPER FILHO, José Ellis. Legalidade junto com competência. S.l: s.n., 8 nov. 1981.

Untitled

Reportagem

BR SPCLEARQ FAIA-H-IT652
Item
1981/10/30

Part of Ayda Ignez Arruda

Sem interventores haverá negociação. S.l.: s.n., 30 out. 1981.

Untitled

Reportagem

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

Part of Ayda Ignez Arruda

USP decide esta semana. S.l.: s.n., 5 nov. [1981?]. Educação, p.15.

Untitled

Alfred Tarski - Parte 1

Item

Part of Ayda Ignez Arruda

Untitled

BR SPCLEARQ FAIA-F-IT01
Item
1981

Part of Ayda Ignez Arruda

Certificado de participação

BR SPCLEARQ FAIA-DP-IT003
Item

Part of Ayda Ignez Arruda

Certificado de participação de AIA no III Encontro Brasileiro de Lógica ocorrido na Universidade Federal de Pernambuco durante 17-21 dez. 1979.Ass.: [Antonio Mário Sette].

Narrow your results by:

Language

Part of

Name

Place

Subject

Level of description

Media type

Showing 368 results