Mostrando 742 resultados

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

18 resultados com objetos digitais Mostrar os resultados com objetos digitais

Sobre o Sistema G1 de Gentzen

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Ayda Ignez Arruda

Sur l’ensemble R dans NFw

Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

Ayda Ignez Arruda

Unidade de opostos

Estudo de AIA intitulado Unidade de opostos. 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

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

Caderno contendo anotações sobre lógicas relevante

  • BR SPCLEARQ FAIA-PIm-EL-IT434
  • Item
  • 1976-09-16 - 1976-10-07
  • Parte deAyda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.

Ayda Ignez Arruda

Tradução do artigo de Jean Dieudonné

Tradução, do artigo de Jean Dieudonné, [feita por AIA], intitulado Deveríamos ensinar matemática moderna?. S.l., S.d. S.ass. 13p. 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

Tradução do artigo de Jean Leray

Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.

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

Projeto Sistemas de Bibliotecas da Unicam

Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

Ayda Ignez Arruda

Resultados 151 até 180 de 742