Historical Archives - Centre for Logic, Epistemology and History of Science - Unicamp

Showing 368 results

Archival description

Print preview View:

Sort by:

Direction:

16 results with digital objects Show results with digital objects

Transformadas no Cálculo Restrito de Predicados

BR SPCLEARQ FAIA-Impr-IT505
Item
1966-12,

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Untitled

Wroctaw: Polish Academy of Sciences

BR SPCLEARQ FAIA-Impr-IT519
Item
1979-10

Part of Ayda Ignez Arruda

BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979.

Untitled

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Part of Ayda Ignez Arruda

COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.

Untitled

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Item
1976-06

Part of Ayda Ignez Arruda

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Untitled

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-Impr-IT541
Item
1969

Part of Ayda Ignez Arruda

JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969.

Untitled

O que é o Impa?

BR SPCLEARQ FAIA-Impr-IT550
Item
1960-02

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

Untitled

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-Impr-IT553
Item
1921

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-Impr-IT568
Item
1965

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

Untitled

Curriculum vitae de Marc Krasner

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

Part of Ayda Ignez Arruda

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

Untitled

Curriculum vitae de George Metakides

BR SPCLEARQ FAIA-CV-IT577
Item

Part of Ayda Ignez Arruda

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

Untitled

Curriculum vitae de Helena Rasiowa

BR SPCLEARQ FAIA-CV-IT583
Item

Part of Ayda Ignez Arruda

Curriculum vitae, em inglês, de Helena Rasiowa. S.l. S.d. S.ass. 2p. dat. cópia.

Untitled

Curriculum vitae de Bruce Irwin Rose

BR SPCLEARQ FAIA-CV-IT585
Item

Part of Ayda Ignez Arruda

Curriculum vitae, em inglês, de Bruce Irwin Rose. S.l. S.d. S.ass. 2p. dat. cópia.

Untitled

Curriculum vitae de Richard Routley

BR SPCLEARQ FAIA-CV-IT586
Item

Part of Ayda Ignez Arruda

Curriculum vitae, em inglês, de Richard Routley. S.l. S.d. S.ass. 10p. dat. cópia.

Untitled

Lista de publicações de Alfred Tarski

Lista de publicações de Alfred Tarski

BR SPCLEARQ FAIA-CV-IT590
Item

Part of Ayda Ignez Arruda

Lista de publicações de Alfred Tarski. S.l. S.d. S.ass. 4p. dat. cópia.

Untitled

BR SPCLEARQ FAIA-H-IT594
Item
[1981]/11/01

Part of Ayda Ignez Arruda

A nota da comunidade. S.l.: s.n., 1 nov. [1981?]. 3. caderno, Educação, p.23.

Untitled

BR SPCLEARQ FAIA-H-IT595
Item
1981/11/12

Part of Ayda Ignez Arruda

A Unicamp busca apoio em Brasília. S.l.: s.n., 12 nov. 1981.

Untitled

BR SPCLEARQ FAIA-H-IT602
Item
1981/10/24

Part of Ayda Ignez Arruda

Carta aberta para o povo. Diário do Povo, Campinas, 24 out. 1981. Local, p.7.

Untitled

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

Part of Ayda Ignez Arruda

Comissão de negociações faz segredo. S.l.: s.n., 10 nov. [1981?]. Educação, p.14.

Untitled

BR SPCLEARQ FAIA-H-IT608
Item
1981/10/20

Part of Ayda Ignez Arruda

Demissões reativam a greve dos funcionários. Folha de São Paulo, São Paulo, 20 out. 1981.

Untitled

BR SPCLEARQ FAIA-H-IT615
Item
1981/11/01

Part of Ayda Ignez Arruda

FOLHETIM. Unicamp: Intervenção x participação. São Paulo: Folha de São Paulo, n.250, 1 nov. 1981. Suplemento.

Untitled

BR SPCLEARQ FAIA-H-IT632
Item
1981/10/22

Part of Ayda Ignez Arruda

Os funcionários decidem votar. Folha de São Paulo, São Paulo, 22 out. 1981.

Untitled

BR SPCLEARQ FAIA-H-IT634
Item
[1981]/11/13

Part of Ayda Ignez Arruda

Para o reitor a Unicamp está "sob judice". S.l.: s.n, 13 nov. [1981?]. Educação, p.23.

Untitled

BR SPCLEARQ FAIA-H-IT643
Item
1981//11/27

Part of Ayda Ignez Arruda

Reitor não cede na Unicamp e o impasse continua. S.l.: s.n., 27 nov. 1981.

Untitled

BR SPCLEARQ FAIA-H-IT649
Item
[1981]/11/29

Part of Ayda Ignez Arruda

SANTOS, Paulo de Tarso. A Unicamp e a subversão autoritária. [S.l.: s.n.], 29 nov. [1981?].

Untitled

BR SPCLEARQ FAIA-H-IT651
Item
1981/10/24

Part of Ayda Ignez Arruda

Secretário assume cargo e é vaiado na Unicamp. Folha de São Paulo, São Paulo, 24 out. 1981.

Untitled

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

Part of Ayda Ignez Arruda

Servidores e alunos reafirmam necessidade de manter consulta. Folha de São Paulo, São Paulo, 18 out. 1981.

Untitled

BR SPCLEARQ FAIA-H-IT655
Item
[1981]/10/24

Part of Ayda Ignez Arruda

Superando a crise. Folha de São Paulo, São Paulo, 24 out. [1981?].

Untitled

BR SPCLEARQ FAIA-H-IT657
Item
1981/10/22

Part of Ayda Ignez Arruda

Uma ameaça à pesquisa. Folha de São Paulo, São Paulo, 22 out. 1981.

Untitled

BR SPCLEARQ FAIA-H-IT665
Item
[1981]/11/01

Part of Ayda Ignez Arruda

VELTMAN, Igor. Unicamp acha proposta do reitor autoritária. [S.l.: s.n.], 1 nov. [1981?]. 3. caderno, Educação, p.23.

Untitled

Alfred Tarski - Parte 2

Alfred Tarski - Parte 2

Item

Part of Ayda Ignez Arruda

Results 61 to 90 of 368

« Previous
1
2
3
4
5
6
7
...
13
Next »