Mostrando 715 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão Visualizar:

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 de apoio

Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Desenvolvimento de C1. S.l., S.d. S.ass. 5p. ms. cópia.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

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

Exibindo 361-370 de 715 resultados