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

BR SPCLEARQ FAIA-PItm-IT464
Item

Artigo sem autor intitulado As idéias lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 54p. dat. cópia.

Ayda Ignez Arruda

BR SPCLEARQ FAIA-PItm-IT465
Item

Texto sem autor intitulado O Intelecto Humano resumindo as principais idéias de Nietzsche expressas em Sobre Verdade e Mentira no Sentido Extra-moral. S.l., S.d. S.ass. 1p. dat.

Ayda Ignez Arruda

A survey of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT467
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

Ayda Ignez Arruda

Aspects of the historical development of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT469
Item
1980-02

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

N.A. Vasili’év e a Lógica Paraconsistente

BR SPCLEARQ FAIA-Impr-IT474
Item
1978

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. N.A. Vasili’év e a Lógica Paraconsistente. Campinas: Unicamp, 1978. 60 p. (Relatório Interno nº 140, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

Remarks on da Costa Paraconsistent set theories

BR SPCLEARQ FAIA-Impr-IT479
Item
1982-02

Parte de Ayda Ignez Arruda

ARRUDA, Ayda Ignez. Remarks on da Costa Paraconsistent set theories. Campinas: Unicamp, fev. 1982. 25p. (Relatório Interno, n° 197, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

Some remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-Impr-IT482
Item
1977-08

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

The Paradox of Russell in the Systems Nfn

BR SPCLEARQ FAIA-Impr-IT491
Item
1980

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. The Paradox of Russell in the Systems Nfn. Proceedings of the Third Brazilian Conference on Mathematical Logic. [Campinas: SBL-Unicamp], p. 1-2, 1980.

Ayda Ignez Arruda

On the relevant systems P and P* and some related systems

BR SPCLEARQ FAIA-Impr-IT501
Item
1980-05

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT511
Item
1981-11-02

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.198, 02 nov. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT512
Item
1981-11-09

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.199, 09 nov. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT513
Item
1981-11-16

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.200, 16 nov. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT514
Item
1981-11-23

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.201, 23 nov. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT515
Item
1981-12-12

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.204, 14 dez. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT516
Item
1981-12-21

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.205, 21 dez. 1981.

Ayda Ignez Arruda

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT517
Item
1981-12-27

Parte de Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, 27 dez. 1981.

Ayda Ignez Arruda

Proceedings of the Third Brazilian Conference on Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT518
Item
1980

Parte de Ayda Ignez Arruda

BRAZILIAN Conference on Mathematical Logic, 3, 1979. Recife. Proceedings of the Third Brazilian Conference on Mathematical Logic. São Paulo: Sociedade Brasileira de Lógica, 1980. 1p

Ayda Ignez Arruda

Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência

BR SPCLEARQ FAIA-Impr-IT536
Item

Parte de Ayda Ignez Arruda

IFCH-UNICAMP; CLE-UNICAMP. Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência. Campinas: Unicamp, s.d., 27p.

Ayda Ignez Arruda

Catálogo de Pós-graduação: 1° semestre

BR SPCLEARQ FAIA-Impr-IT537
Item
1971

Parte de Ayda Ignez Arruda

IMECC - UNICAMP. Catálogo de Pós-graduação: 1° semestre. Campinas: Unicamp, 1971. 34p.

Ayda Ignez Arruda

Catálogo de Pós-graduação: 2° semestre

BR SPCLEARQ FAIA-Impr-IT538
Item
1971

Parte de Ayda Ignez Arruda

IMECC - UNICAMP. Catálogo de Pós-graduação: 2° semestre. Campinas: Unicamp, 1971. 41p.

Ayda Ignez Arruda

Comutadores em Variedades de Mal'cev

BR SPCLEARQ FAIA-Impr-IT545
Item
1982-06

Parte de Ayda Ignez Arruda

LAZARI, Henrique. Comutadores em Variedades de Mal'cev. jun. 1982. 61 p. Dissertação (Mestrado em Matemática) - Instituto de Matemática, Estatística e Ciência da Computação; Universidade Estadual de Campinas. cópia.

Ayda Ignez Arruda

Vibre com o roteiro turístico da vida, trabalho e do amor

BR SPCLEARQ FAIA-Impr-IT554
Item
1974

Parte de Ayda Ignez Arruda

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas. Vibre com o roteiro turístico da vida, trabalho e do amor. Departamento de Turismo: Campinas, 1974. 12p.

Ayda Ignez Arruda

Campinas, bicentenário é turismo

BR SPCLEARQ FAIA-Impr-IT555
Item
1974

Parte de Ayda Ignez Arruda

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas, bicentenário é turismo. Departamento de Turismo: Campinas, 1974. 24p.

Ayda Ignez Arruda

Educação, Pesquisa e Administração Universitária

BR SPCLEARQ FAIA-Impr-IT560
Item
1981

Parte de Ayda Ignez Arruda

SCHNEIDER, José Benedito. Educação, Pesquisa e Administração Universitária. ADUNICAMP: Campinas, 1981, 1p.

Ayda Ignez Arruda

Resumos de trabalhos

BR SPCLEARQ FAIA-Impr-IT563
Item
1975

Parte de Ayda Ignez Arruda

SIMPÓSIO de Lógica Matemática, 3-5 mar. 1975, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 73p.

Ayda Ignez Arruda

Programa Simpósio Latino-Americano de Lógica Matemática

BR SPCLEARQ FAIA-Impr-IT564
Item
1976

Parte de Ayda Ignez Arruda

SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 11-17 jul. 1976, Campinas. Programa. Campinas: Unicamp, 8p.

Ayda Ignez Arruda

Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática

BR SPCLEARQ FAIA-Impr-IT565
Item
1976

Parte de Ayda Ignez Arruda

SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 10-17 jul. 1976, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 66p.

Ayda Ignez Arruda

Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática

BR SPCLEARQ FAIA-Impr-IT566
Item
1978

Parte de Ayda Ignez Arruda

SIMPÓSIO Latino-Americano de Lógica Matemática, 4, 17-22 dez. 1978, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 54p.

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

As desventuras do interventor. Diário do Povo, Campinas, 24 out. 1981. Local, p.7.

Ayda Ignez Arruda

Reportagem

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

Parte de Ayda Ignez Arruda

Eleitos criticam parecer do CEE. Diário do Povo, Campinas, 24 out. 1981. Local, p.7.

Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Parte de

Nome

Local

Assunto

Nível de descrição

Tipo de mídia

Mostrando 697 resultados