Imprimir vista previa Cerrar

Mostrando 742 resultados

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

18 resultados con objetos digitales Muestra los resultados con objetos digitales

Considerações sobre os Sistemas Fomais NFn

ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.

Ayda Ignez Arruda

On the Imaginary Logic of N.A. Vasil'év

  • BR SPCLEARQ FAIA-I-IT477
  • Unidad documental simple
  • 1978-06
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Ayda Ignez Arruda

Transformadas no Cálculo Restrito de Predicados

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

Boletim Informativo

  • BR SPCLEARQ FAIA-I-IT513
  • Unidad documental simple
  • 1981-11-16
  • Parte deAyda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.200, 16 nov. 1981.

Ayda Ignez Arruda

Wroctaw: Polish Academy of Sciences

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

Une sémantique pour le calcul C1

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

Comutadores em Variedades de Mal'cev

  • BR SPCLEARQ FAIA-I-IT545
  • Unidad documental simple
  • 1982-06
  • Parte deAyda Ignez Arruda

LAZARI, Henrique. Comutadores em Variedades de Mal'cev. jun. 1982. 61 p. Dissertação (Mestrado em Matemática) - Instituto de Matemática, Estatística e Ciência da Computação; Universidade Estadual de Campinas. cópia.

Ayda Ignez Arruda

O que é o Impa?

  • BR SPCLEARQ FAIA-I-IT550
  • Unidad documental simple
  • 1960-02
  • Parte deAyda Ignez Arruda

NACHBIN, Leopoldo. O que é o Impa? Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 3, n. 1, p. 1-12, fev. 1960.

Ayda Ignez Arruda

Campinas, bicentenário é turismo

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas, bicentenário é turismo. Departamento de Turismo: Campinas, 1974. 24p.

Ayda Ignez Arruda

Curriculum vitae de Marc Krasner

  • BR SPCLEARQ FAIA-CV-IT575
  • Unidad documental simple
  • 1976-01-06
  • Parte deAyda Ignez Arruda

Curriculum vitae, em espanhol, de Marc Krasner. Paris, 06 jan. 1976. S.ass. 1p. dat. cópia

Ayda Ignez Arruda

Reportagem

  • BR SPCLEARQ FAIA-H-IT594
  • Unidad documental simple
  • [1981]/11/01
  • Parte deAyda Ignez Arruda

A nota da comunidade. S.l.: s.n., 1 nov. [1981?]. 3. caderno, Educação, p.23.

Ayda Ignez Arruda

Reportagem

  • BR SPCLEARQ FAIA-H-IT595
  • Unidad documental simple
  • 1981/11/12
  • Parte deAyda Ignez Arruda

A Unicamp busca apoio em Brasília. S.l.: s.n., 12 nov. 1981.

Ayda Ignez Arruda

Resultados 151 a 180 de 742