Mostrando 654 resultados

Descrição arquivística
Ayda Ignez Arruda
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Informe de apoio

Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, sem título, contendo partes intituladas Notas para a História da Lógica, História, e Variedades da Lógica. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo, em inglês, de Solomon Feferman, intitulado Gödel’s collected works (A.S.L. Project). Stanford University, USA, S.d. S.ass. 3p. dat.

Ayda Ignez Arruda

Informe de apoio

Caderno de AIA contendo anotações sobre história da matemática e da lógica e planos de aulas.

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

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

Guia histórico

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas, bicentenário é turismo. Departamento de Turismo: Campinas, 1974. 24p.

Ayda Ignez Arruda

Resultados 341 até 350 de 654