Mostrando 303 resultados

Descrição arquivística
Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência - Unicamp s.l.
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Carta de recomendação

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

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

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

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

Ayda Ignez Arruda

Informe de apoio

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

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

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

Ayda Ignez Arruda

Reportagem

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

Ayda Ignez Arruda

Biografia

Biografia [pós-morte], em inglês, de AIA, escrita por Roberto Cignoli. S.ass.

Modelo de requerimento

Modelo de requerimento destinado ao Ilmo. Sr. Delegado Regional do Imposto de Renda do Distrito Federal, solicitando verificação de débito para obtenção de visto em passaporte. S.l. S.d. S.ass. 2p. (cop. dat. e ms.) 

Resultados 41 até 50 de 303