Imprimir vista previa Cerrar

Mostrando 5150 resultados

Descripción archivística
Imprimir vista previa Ver :

1786 resultados con objetos digitales Muestra los resultados con objetos digitales

Carta de Liang-Hiu Chen a JCVM

Carta de Liang-Hiu Chen a JCVM informando sobre trabalhos desenvolvidos conjuntamente, relatando sobre a publicação de artigos em que são co-autore.s Ass. Liang-Hiu Chen.

Sin título

Carta de Marcel Guilhaume

Carta de Marcel Guilhaume a NCAC agradecendo o recebimento do livro de Lars Eriksen com duas dedicatórias, uma do próprio autor e uma do NCAC e avisando que o visitará no Brasil. S.l., 25 de abr. de 2000. 1p.

Sin título

A Lógica e a Matemática são idênticas?

  • BR SPCLEARQ FAIA-Impr-IT535
  • Unidad documental simple
  • 1964-10
  • Parte deAyda Ignez Arruda

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

Sin título

L’ipotese del Continuo

  • BR SPCLEARQ FAIA-Impr-IT531
  • Unidad documental simple
  • 1977
  • Parte deAyda Ignez Arruda

FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.

Sin título

Carta de Marcel Guilhaume

Carta de Marcel Guilhaume a NCAC comunicando sua vinda ao Brasil e o desejo de publicar um artigo na Revista da Sociedade Paranaense de Matemática. S.l., 29 de maio de 1965. 2p. (ms)

Carta de Peter Cervenka a JCVM

Carta de Peter Cervenka a JCVM manifestando a felicidade em receber notícias do mesmo, falando sobre trabalhos científicos, relatando os problemas ocorridos durante asua viagem à Campinas e demonstrando a vontade de trabalhar conjuntamente. Ass. Peter Cervenka.

Sin título

Boolean Powers in algebric logic

  • BR SPCLEARQ FAIA-Impr-IT527
  • Unidad documental simple
  • 1971
  • Parte deAyda Ignez Arruda

DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

Sin título

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

Resultados 601 a 630 de 5150