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

Transformadas no Cálculo Restrito de Predicados

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

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.

Ayda Ignez Arruda

Wroctaw: Polish Academy of Sciences

BR SPCLEARQ FAIA-Impr-IT519
Item
1979-10

Parte de 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.

Ayda Ignez Arruda

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Parte de 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.

Ayda Ignez Arruda

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Item
1976-06

Parte de 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.

Ayda Ignez Arruda

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-Impr-IT541
Item
1969

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

O que é o Impa?

BR SPCLEARQ FAIA-Impr-IT550
Item
1960-02

Parte de 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.

Ayda Ignez Arruda

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-Impr-IT553
Item
1921

Parte de Ayda 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

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

BR SPCLEARQ FAIA-Impr-IT568
Item
1965

Parte de 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.

Ayda Ignez Arruda

Curriculum vitae de Marc Krasner

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

Parte de Ayda 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 George Metakides

BR SPCLEARQ FAIA-CV-IT577
Item

Parte de Ayda 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 Helena Rasiowa

BR SPCLEARQ FAIA-CV-IT583
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Curriculum vitae de Bruce Irwin Rose

BR SPCLEARQ FAIA-CV-IT585
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Curriculum vitae de Richard Routley

BR SPCLEARQ FAIA-CV-IT586
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Lista de publicações de Alfred Tarski

BR SPCLEARQ FAIA-CV-IT590
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Reportagem

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

Parte de 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.

Ayda Ignez Arruda

Alfred Tarski - Parte 2

Item

Parte de Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Parte de

Nome

Local

Assunto

Nível de descrição

Tipo de mídia

Mostrando 368 resultados