Visualizar impressão Fechar

Mostrando 697 resultados

Descrição arquivística
Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:
Decrescente

10 resultados com objetos digitais Exibir resultados com objetos digitais

Independência de axiomas

Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Gödel’s collected works (A.S.L. Project)

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

Generalization of some results of Elie Sanchez

Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.

Ayda Ignez Arruda

Further considerations on the Postulate of Separation

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Ayda Ignez Arruda

Formulário de pedido de auxílio Fapesp

Formulário de pedido de auxílios Fapesp preenchido por AIA solicitando recursos para o III Simpósio Latino-Americano de Lógica Matemática.

Ayda Ignez Arruda

Formulário de pedido de auxílio

Formulário de pedido de auxílios Fapesp preenchido por Newton da Costa para projeto de pesquisa intitulado Teoria dos Modelos e Aplicações a ser desenvolvido na Unicamp, Usp e Universidade Católica do Chile.

Estudos contendo tópicos sobre axiomas

Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Estudos analisando vários aspectos da lógica

Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

Ayda Ignez Arruda

Estudo sobre a completude de C+

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

Ayda Ignez Arruda

Estudo de Andréa Loparic

Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia.

Ayda Ignez Arruda

Estudo de AIA sem título

Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.

Ayda Ignez Arruda

Exibindo 301-330 de 697 resultados