Mostrando 229 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Unidade de opostos

Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

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

Telex de Carlos Di Prisco para AIA

Telex, em espanhol, de Carlos Di Prisco para AIA, informando o envio de passagens aéreas. Caracas, S.d. S.ass. 1p. dat.

Sin título

Telex de Carlos Di Prisco para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT257
  • Unidad documental simple
  • 1983-02-01
  • Parte deAyda Ignez Arruda

Telex, em espanhol, de Carlos Di Prisco para AIA, comunicando possibilidades de obter financiamento para viagem e solicitando outras informações. Caracas, 01 fev. 1983. 1p. dat.

Sin título

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

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

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

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

Sobre a regra do Modus Ponens

Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

Sin título

Sistema DL

Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

Sin título

Semântica para D1

Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

Sin título

Rascunho de AIA

Rascunho de AIA contendo ementa para exame de transferência da discplina MA-561

Sin título

Rascunho de AIA

Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.

Sin título

Processo n. 1817/81

  • BR SPCLEARQ FAIA-IU-AJ-IT174
  • Unidad documental simple
  • 1981-12-16
  • Parte deAyda Ignez Arruda

Processo n. 1817/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando os diretores AIA, André Maria Pompeu Villalobos e Carlos Alfredo Arguello de suas funções.

Sin título

Processo 1234/81

  • BR SPCLEARQ FAIA-AAdm-IT130
  • Unidad documental simple
  • 1981-03-20
  • Parte deAyda Ignez Arruda

Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.

Sin título

Resultados 1 a 30 de 229