Mostrando 1943 resultados

Descrição arquivística
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

Leopoldo Nachbin

  • BR SPCLEARQ LN
  • Coleção
  • 1982 - 1989

A CLN traz documentos esparsos, mas rico às pesquisas em História das Ciências e da Matemática, como, por exemplo, a cópia do manuscrito, de sua autoria, intitulado An Outline of Probability, de 1985 e o seu depoimento quando do recebimento do título de Professor Emérito, concedido pela Unicamp, em 1989.

Leopoldo Nachbin

Resultados 611 até 620 de 1943