Showing 406 results

Archival description
Ayda Ignez Arruda Brazilian Portuguese
Print preview View:

18 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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

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

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

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

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Results 61 to 90 of 406