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

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-Impr-IT541
Item
1969

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

Carta de John T. Baldwin para AIA

BR SPCLEARQ FAIA-C-Cp-IT292
Item
1976-05-28

Parte de Ayda Ignez Arruda

Carta, em inglês, de John T. Baldwin para AIA, recomendando Bruce Rose para uma possível contratação. [Chicago], 28 maio 1976. Ass.: John T. Baldwin. 1p. dat. cópia.

Ayda Ignez Arruda

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT296
Item
1982-02-13

Parte de Ayda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, comunicando o atraso no recebimento de correspondências, e informando sobre novas pesquisas. Annapolis, 13 fev. 1982. Ass.: Ken. 1p. ms.

Ayda Ignez Arruda

Cartão de Natal de Sanka para AIA

BR SPCLEARQ FAIA-C-Cp-IT328
Item

Parte de Ayda Ignez Arruda

Cartão de Natal, em português e inglês, de Sanka para AIA, agradecendo auxílio recebido para o desenvolvimento de sua pesquisa e desejando boas festas. S.l., S.d. Ass.: Sanka. 1p. ms.

Ayda Ignez Arruda

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361-IT361
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