Mostrando 4508 resultados

Descripción archivística
Portugués de Brasil
Imprimir vista previa Ver :
Descendente

1768 resultados con objetos digitales Muestra los resultados con objetos digitales

Une sémantique pour le calcul C1

  • BR SPCLEARQ FAIA-Impr-IT526
  • Unidad documental simple
  • 1976-06

    • Parte deAyda Ignez Arruda

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Sin título

Remarques sur le système NF1

  • BR SPCLEARQ FAIA-Impr-IT525
  • Unidad documental simple
  • 1971-05

    • Parte deAyda Ignez Arruda

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Sin título

Un calcul des applications

  • BR SPCLEARQ FAIA-Impr-IT523
  • Unidad documental simple
  • 1971

    • Parte deAyda Ignez Arruda

CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971.

Sin título

Carta de Lorenzo Peña

Carta de Lorenzo Peña

Carta de Lorenzo Peña a NCAC agradecendo a correspondência recebida, comentando sobre a influência que seus livros exerceram no campo da lógica física e enviando exemplares de algumas teses. Quito, 11 de out. de 1979. 1p. (ms)

Ofício de Alencastro Valle de Carvalho a JCVM

Ofício de Alencastro Valle de Carvalho a JCVM convidando para integrar a Comissão Examinadora da defesa de tese de Oscar Nassif de Mesquita. Ass. Alencastro Valle de Carvalho, Coordenador do Curso de Pós-Graduação em Física do Instituto de Ciências Exatas da UFMG

Sin título

Wroctaw: Polish Academy of Sciences

  • BR SPCLEARQ FAIA-Impr-IT519
  • Unidad documental simple
  • 1979-10

    • Parte deAyda Ignez Arruda

BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979.

Sin título

Carta de W. A. Bonner a JCVM

Carta de W. A. Bonner a JCVM informando que os substratos de GaSb solicitados não poderão serem enviados por se tratar de material restritos à exportação pelo Departamento de Comércio dos Estados Unidos. Ass. W. A. Bonner.

Sin título

Regresso de Nova York

Regresso de Nova York

Martha, Yvonne, Jeanne, Carlos, filho Walter Pires, Jacqueline de Leers Costa Ribeiro, Joaquim da Costa Ribeiro, Almirante Álvaro Alberto Mota e Silva e outros

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

Une sémantique pour le calcul C1=. C.R

  • BR SPCLEARQ FAIA-Impr-IT506
  • Unidad documental simple
  • 1977-01-31

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.

Sin título

Transformadas no Cálculo Restrito de Predicados

  • BR SPCLEARQ FAIA-Impr-IT505
  • Unidad documental simple
  • 1966-12,

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 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

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

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

Resultados 541 a 570 de 4508