Mostrando 743 resultados

Descripción archivística
Ayda Ignez Arruda
Imprimir vista previa Ver :

19 resultados con objetos digitales Muestra los resultados con objetos digitales

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.

Sin título

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.

Sin título

Unidade de opostos

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

Sin título

Estudos analisando vários aspectos da lógica

  • BR SPCLEARQ FAIA-PIm-EL-IT431
  • Unidad documental simple
  • 1975-09-05
  • Parte deAyda Ignez Arruda

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.

Sin título

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.

Sin título

Caderno contendo anotações sobre lógicas relevante

  • BR SPCLEARQ FAIA-PIm-EL-IT434
  • Unidad documental simple
  • 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.

Sin título

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.

Sin título

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.

Sin título

Teorias Recursivas, Creativas y Productivas

Artigo, em espanhol, de José Fernández-Prida, intitulado Teorias Recursivas, Creativas y Productivas. S.l., S.d. S.ass. 15p. dat. cópia.

Sin título

Generalization of some results of Elie Sanchez

  • BR SPCLEARQ FAIA-PItm-IT448
  • Unidad documental simple
  • [1982-1983]
  • Parte deAyda Ignez Arruda

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

Sin título

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.

Sin título

Estudo de Andréa Loparic

  • BR SPCLEARQ FAIA-PItm-IT451
  • Unidad documental simple
  • 1975-12-13
  • Parte deAyda Ignez Arruda

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.

Sin título

Projeto Sistemas de Bibliotecas da Unicam

  • BR SPCLEARQ FAIA-PItm-IT452
  • Unidad documental simple
  • 1983-08
  • Parte deAyda Ignez Arruda

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.

Sin título

Resultados 151 a 180 de 743