Mostrando 3380 resultados

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

Informativo

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

Informe

Informe de Paul Weingartner, presidente do comitê organizador local, aceitando artigo para a publicação nos anais do congresso.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.

Ayda Ignez Arruda

Resultados 451 até 460 de 3380