- CHRR
- Collection
- 1943 - 1990
Documentos pessoais, correspondência e produção científica manuscrita e impressa. Há documentos esparsos alheios ao próprio arquivo formado pelo titular.
1943 resultados diretamente relacionados Excluir termos específicos
Documentos pessoais, correspondência e produção científica manuscrita e impressa. Há documentos esparsos alheios ao próprio arquivo formado pelo titular.
IMPRENSA, Social no Brasil, 334 títulos de jornais de luta
Parte de Astrojildo Pereira
Astrojildo Pereira
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
Parte de Ayda Ignez Arruda
Informe de Paul Weingartner, presidente do comitê organizador local, aceitando artigo para a publicação nos anais do congresso.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.
Ayda Ignez Arruda