Mostrando 1729 resultados

Descripción archivística
Inglés
Imprimir vista previa Ver :
Descendente

324 resultados con objetos digitales Muestra los resultados con objetos digitales

Telex de AIA ao professor Richard Routley

  • BR SPCLEARQ FAIA-C-Ca-IT232
  • Unidad documental simple
  • 1983-01-19

    • Parte deAyda Ignez Arruda

Telex, em inglês, de AIA a Richard Routley aprovando a publicação de seu artigo. IMECC, 19 jan. 1983. S.ass. 1p. dat.

Sin título

Telex de AIA

  • BR SPCLEARQ FAIA-AA-DCS-IT107
  • Unidad documental simple
  • 1983-02-23

    • Parte deAyda Ignez Arruda

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Sin título

Telex de AIA

  • BR SPCLEARQ FAIA-AA-DCS-IT107
  • Unidad documental simple
  • 1983-02-23

    • Parte deAyda Ignez Arruda

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Sin título

Telegrama de Wilson Chagas de Araújo a JCVM

Telegrama de Wilson Chagas de Araújo a JCVM solicitando envio de parecer técnico do Projeto DF/UFMG enviado através de carta FINEP N° 4213 de 10 de abril de 1984. ass. Wilson Chagas de Araújo, Chefe D/II-DDC/FINEP.

Sin título

Tabuleiro

1 tabuleiro Coca-cola "Cole aqui seus craques"

Sin título

Tabela

  • BR SPCLEARQ FNB-PIm-DT-IT138
  • Unidad documental simple

    • Parte deNewton Bernardes

138 – Tabela de NB intitulada Potenciais Termodinâmicos. s.l., s.d. s.ass.

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

Sur un Théorème de Hilbert et Bernays

  • BR SPCLEARQ FAIA-Impr-IT503
  • Unidad documental simple
  • 1964-06-29

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.

Sin título

Sur les systèmes Nfi de da Costa

  • BR SPCLEARQ FAIA-Impr-IT490
  • Unidad documental simple
  • 1970-04-27

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.

Sin título

Sur le syst¨¨me NF¦Ø

  • BR SPCLEARQ FAIA-Impr-IT489
  • Unidad documental simple
  • 1970-05-04

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.

Sin título

Sur le schèma de la sèparation

  • BR SPCLEARQ FAIA-Impr-IT502
  • Unidad documental simple
  • 1970-03

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

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

Some remarks on Griss Logic of Negationless Intuitionistic Mathematics

  • BR SPCLEARQ FAIA-Impr-IT482
  • Unidad documental simple
  • 1977-08

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Sin título

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

Resultados 121 a 150 de 1729