Imprimir vista previa Cerrar

Mostrando 697 resultados

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

10 resultados con objetos digitales Muestra los resultados con objetos digitales

O sistema A de Ackermann

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Generalization of some results of Elie Sanchez

  • BR SPCLEARQ FAIA-PItm-IT448
  • Unidad documental simple
  • [1982-1983]
  • Parte deAyda Ignez Arruda

Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.

Ayda Ignez Arruda

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

Resultados 181 a 210 de 697