Imprimir vista previa Cerrar

Mostrando 261 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Carta de Maria da Graça Rodrigues

Carta de Maria da Graça Rodrigues, coordenadora do Seminário Castelan, para AIA, comunicando a da data da palestra de AIA. Departamento de Matemática da Universidade Federal de Santa Catarina, [198-]. Ass.: M. Rodrigues. 1p. dat.

Sin título

Aplicação de Matrizes

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

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

Matrizes

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

Sin título

Artigo cálculos proposicionais

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

Sin título

Semântica para D1

Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

Sin título

Sistema DL

Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. 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

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

O paradoxo de Curry-Moh Shaw-Kwei

  • BR SPCLEARQ FAIA-Impr-IT500
  • Unidad documental simple
  • 1966
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

Sin título

Sur une hiérarchies de systèmes formels

  • BR SPCLEARQ FAIA-Impr-IT504
  • Unidad documental simple
  • 1964-11-02
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.

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

Termo de outorga

  • BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT039
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Termo de outorga e aceitação de auxílio Fapesp do projeto VI Encontro Brasileiro de Lógica, registrado como Processo 2/1543-8, concedido a AIA. Ass.: Ayda Ignez Arruda

Carta de AIA para Ruy Carlos de Camargo Vieira

  • BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT045
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando auxílio para participar de congressos na Áustria e em Caracas. Ass.: Ayda Ignez Arruda.

Carta de AIA para Ruy Carlos de Camargo Vieira

  • BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT046
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, retificando pedido de auxílio n° 83/038.8-1 para participar somente do congresso em Caracas. Ass.: Ayda Ignez Arruda

Carta de AIA para Ruy Carlos de Camargo Vieira

  • BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT047
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando o cancelamento do auxílio n° 83/038.8-1 para participar do congresso em Caracas.

Carta de AIA para William Saad Hossne

  • BR SPCLEARQ FAIA-AA-Fapesp-DLS-IT058
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Carta de AIA para William Saad Hossne, diretor científico da Fapesp, solicitando auxílio para o pagamento das passagens aéreas Varsóvia - São Paulo – Varsóvia de Leslaw Szczerba, professor visitante no IMECC durante junho e julho de 1978. Ass.: Ayda Ignez Arruda

Recibo de Luiz Paulo de Alcântara

  • BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT067
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Recibo de Luiz Paulo de Alcântara declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Luiz Paulo de Alcântara

Recibo de Elias Humberto Alves

  • BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT068
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Recibo de Elias Humberto Alves declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Elias Humberto Alves

Recibo de Rolando Chuaqui

  • BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT069
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Recibo de Rolando Chuaqui declarando ter recebido de AIA seis mil cruzeiros referentes ao auxilio viagem para estadia na Unicamp durante o mês de mar. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Rolando Chuaqui
Resultados 91 a 120 de 261