Textual

Taxonomia

Código

Nota(s) de âmbito

Nota(s) de fonte(s)

Nota(s) de exibição

Termos hierárquicos

Textual

Termos equivalentes

Textual

Termos associados

Textual

1943 Descrição arquivística resultados para Textual

1943 resultados diretamente relacionados Excluir termos específicos

Hugo Régis dos Reis

  • 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.

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

Exibindo 551-560 de 1943 resultados