Mostrando 261 resultados

Descripción archivística
Ayda Ignez Arruda Ayda Ignez Arruda Inglés
Imprimir vista previa Ver :
Clasificación en orden ascendente

2 resultados con objetos digitales Muestra los resultados con objetos digitales

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

Formulário de pedido de auxílio

  • BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT066
  • Unidad documental simple

    • Parte deAyda Ignez Arruda

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.

Further considerations on the Postulate of Separation

  • BR SPCLEARQ FAIA-Impr-IT498
  • Unidad documental simple
  • 1968

    • Parte deAyda Ignez Arruda

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].

Sin título

Independência de axiomas

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

Sin título

Informe de Paul Weingartner

  • BR SPCLEARQ FAIA-AA-DCS-IT103
  • Unidad documental simple
  • 1983-03-29

    • Parte deAyda Ignez Arruda

Informe de Paul Weingartner, presidente do comitê organizador local, aceitando artigo para a publicação nos anais do congresso.

Sin título

Introdução: 3 – Matrizes

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Sin título

Linguagem de Primeira Ordem

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Sin título

Lista de professores do IMECC

Lista de professores do IMECC que apoiam a interpelação judicial para tirar Frederico Pimentel do cargo de direção do instituto.

Sin título

Manifestação da congregação do IMECC

  • BR SPCLEARQ FAIA-IU-CNM-IT168
  • Unidad documental simple
  • 1981-10-22

    • Parte deAyda Ignez Arruda

Manifestação da congregação do IMECC, elogiando o trabalho de AIA como diretora do IMECC e criticando a maneira como foi exonerada de seu cargo.

Sin título

Mathematical Logic

  • BR SPCLEARQ FAIA-Impr-IT508
  • Unidad documental simple
  • [1978]

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Sin título

Mathematical Logic in Latin America

  • BR SPCLEARQ FAIA-Impr-IT496
  • Unidad documental simple
  • 1982-02

    • Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Sin título

Mathematical Logic in Latin America

  • BR SPCLEARQ FAIA-Impr-IT497
  • Unidad documental simple
  • 1982

    • Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Sin título

Matrizes

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.

Sin título

Resultados 181 a 210 de 261