Mostrando 654 resultados

Descrição arquivística
Carta de recomendação
BR SPCLEARQ AIA-C-Ct-11 · Item · 1976-05-28
Parte de Ayda Ignez Arruda

Carta, em inglês, de John T. Baldwin a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 28 maio 1976. Ass.: John T. Baldwin. 1p. dat. cópia.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-PIm-A-11 · Item · s.d.
Parte de Ayda Ignez Arruda

Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.

Ayda Ignez Arruda
Rascunho
BR SPCLEARQ AIA-PIm-V-11 · Item · s.d.
Parte de Ayda Ignez Arruda

Rascunho de AIA, intitulado Sobre os cálculos de predicados de Vasil'év, contendo vários cálculos relacionados. S.l., S.d. S.ass. 5p. ms.

Ayda Ignez Arruda
Informe de apoio
BR SPCLEARQ AIA-PIm-CP-11 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda
Informe de apoio
BR SPCLEARQ AIA-PItm-11 · Item · 1975-12-13
Parte de Ayda Ignez Arruda

Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-I-11 · Item · 1977
Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability. s.l., p. 3-24, 1977

Ayda Ignez Arruda
Curriculum vitae
BR SPCLEARQ AIA-Cv-11 · Item · s.d.
Parte de Ayda Ignez Arruda

Curriculum vitae, em espanhol, de Francisco Miró Quesada. S.l. S.d. S.ass. 3p. dat.

Ayda Ignez Arruda
Reportagem
BR SPCLEARQ AIA-H-11 · Item · [1981]-11-4
Parte de Ayda Ignez Arruda

Comunidade decide na Engenharia. S.l.: s.n, 4 nov. [1981?]. Educação, p.15.

Ayda Ignez Arruda
Telex de informações
BR SPCLEARQ AIA-AA-DCS-11 · Item · 1983-02-23
Parte de Ayda Ignez Arruda

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Ayda Ignez Arruda
Ofício
BR SPCLEARQ AIA-AA-11 · Item · 1983-03-28
Parte de Ayda Ignez Arruda

Ofício 46/83 de José Aristodemo Pinotti, reitor da Unicamp, avisando da indicação de AIA para integração da banca julgadora do concurso de Professor Adjunto do IQ-Unicamp. Ass.: José Aristodemo Pinotti.

Ayda Ignez Arruda