Showing 407 results

Archival description
Ayda Ignez Arruda Brazilian Portuguese
Print preview View:

19 results with digital objects Show results with digital objects

Carta de José Norberto Walter Dachs

Carta de José Norberto Walter Dachs a Ubiratan D’Ambrósio, diretor do IMECC, solicitando providências para a aceitação de Cosimo Guido no doutorado em Matemática. Campinas, 31 ago. 1977. Ass.: José Roberto Walter Dachs. 1p. dat.

Untitled

Ofício n. 117/76-M de Martha Maria Mischan

Ofício n. 117/76-M de Martha Maria Mischan para Herman Rohrer, agradecendo a colaboração do IMECC na elaboração do plano de estudos. Botucatu, 29 nov. 1976. Ass.: Martha Mischan. 1p. dat. cópia.

Untitled

Carta de Rolando Chuaqui para Carlos E. Meyer

Carta, em espanhol, de Rolando Chuaqui para Carlos E. Meyer, agradecendo a correspondência deste e comentando a tese de Luiz F. Monteiro. Santiago, 13 abril. 1971. Ass.: Rolando Chuaqui. 1p. dat. cópia.

Untitled

Carta de Rubem A. Alves a José Aristodemo Pinotti

Carta de Rubem A. Alves a José Aristodemo Pinotti, reitor da Unicamp, declarando-se contra a realização de novas eleições para representante dos professores titulares. Campinas, 08 jun. 1982. Ass.: Rubem A. Alves. 2p. dat. cópia.

Untitled

Carta de W.W. Tait a Said Sidki

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

Untitled

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.

Untitled

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

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.

Untitled

Transformadas no Cálculo Restrito de Predicados

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.

Untitled

Wroctaw: Polish Academy of Sciences

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.

Untitled

Une sémantique pour le calcul C1

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.

Untitled

O que é o Impa?

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

Untitled

Results 61 to 90 of 407