Mostrando 1735 resultados

Descrição arquivística
Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência - Unicamp
Visualizar impressão Visualizar:

Relatório

DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

Ayda Ignez Arruda

Relatório

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

Relatório

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

Relatório científico

Relatório científico de AIA relativo à visita do professor Jerzy Kotas.

Ayda Ignez Arruda

Relatório de atividades

Relatório de Atividades de AIA abrangendo o período de 06/1975 a 06/1977. Ass.: Ayda Ignez Arruda; Ubiratan D'Ambrósio, diretor do IMECC.

Ayda Ignez Arruda

Relatório de atividades

Relatório de Atividades de AIA abrangendo o período de 06/1979 a 06/1981. Ass.: Ayda Ignez Arruda; Antonio Mário Antunes Sette, diretor associado.

Ayda Ignez Arruda

Relatório de atividades

Relatório de Atividades de AIA referente ao ano de 1969. Ass.: Ayda Ignez Arruda

Ayda Ignez Arruda

Relatório de atividades

Apresentação das atividades informando as atividades a serem desenvolvidas pela professora Cecylia Rauszer os benefícios às comunidades científicas do país.

Ayda Ignez Arruda

Relatório de atividades

Relatório de Atividades de AIA abrangendo o período de 06/1977 a 06/1979. Ass.: Ayda Ignez Arruda; Ubiratan D'Ambrósio, diretor do IMECC.

Ayda Ignez Arruda

Relatório de atividades

Relatório de Atividades de AIA abrangendo o período de 31/05/1981 a 30/05/1983. Ass.: Ayda I. Arruda

Ayda Ignez Arruda

Resultados 671 até 680 de 1735