Mostrando 4473 resultados

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

Relatório

Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.

Ayda Ignez Arruda

Relatório

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

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

Resultados 891 até 900 de 4473