Visualizar impressão Fechar

Mostrando 407 resultados

Descrição arquivística
Ayda Ignez Arruda Português do Brasil
Visualizar impressão Visualizar:

19 resultados com objetos digitais Exibir resultados com objetos digitais

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comunicando sobre trabalhos científicos que serão publicados. Austrália, 23 ago. 1983. Ass.: Richard. 2p. ms.

Ayda Ignez Arruda

Cartão de Sava Petrov para AIA

Cartão, em inglês, de Sava Petrov para AIA, comunicando que seu artigo está pronto para ser impresso. S.l., 25 dez. 1981. Ass.: ( __ ). 1p. dat.

Ayda Ignez Arruda

Carta de W.W. Tait para AIA

Carta, em inglês, de W.W. Tait para AIA, recomendando e comentando o trabalho de Bruce Rose. [Chicago], 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.

Ayda Ignez Arruda

Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde

Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde informando vencimento dos contratos de trabalho de docentes e solicitando providências. Campinas, 05 nov. 1981. Ass.: Ives Antonio Corazza. 2p. 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

Ofício IMECC n. 24/75 de Ubiratan D’Ambrósio

Ofício IMECC n. 24/75 de Ubiratan D’Ambrósio, diretor do IMECC, a Zeferino Vaz, reitor da Unicamp, solicitando a dispensa do professor Antonio Conde. Campinas, 17 fev. 1975. S.ass. 1p. dat. cópia.

Ayda Ignez Arruda

Carta de George Glauberman a Said Sidki

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

Ayda Ignez Arruda

Comunicado da Universität Erlangen-Nürnberg

Comunicado, em alemão, da Universität Erlangen-Nürnberg, informando o interesse de algumas unidades da Unicamp em colaborar com universidades alemãs. Erlangen, 11 jun. 1976. Ass.: Hermann Rohrer; W. Händler. 1p. dat. cópia.

Ayda Ignez Arruda

Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde

Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde informando vencimento dos contratos de trabalho de docentes e solicitando providências. Campinas, 05 nov. 1981. Ass.: Ives Antonio Corazza. 2p. dat. cópia.

Ayda Ignez Arruda

Ofício IMECC n. 24/75 de Ubiratan D’Ambrósio

Ofício IMECC n. 24/75 de Ubiratan D’Ambrósio, diretor do IMECC, a Zeferino Vaz, reitor da Unicamp, solicitando a dispensa do professor Antonio Conde. Campinas, 17 fev. 1975. S.ass. 1p. dat. cópia.

Ayda Ignez Arruda

Sobre A Teoria dos Tipos

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

Ayda Ignez Arruda

La mathématique classiques dans Nfw

ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

Ayda Ignez Arruda

On Griss propositional calculus

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Ayda Ignez Arruda

On the Postulate of Separation

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Ayda Ignez Arruda

Mathematical Logic in Latin America

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Ayda Ignez Arruda

Mathematical Logic in Latin America

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Ayda Ignez Arruda

Sur le schèma de la sèparation

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.

Ayda Ignez Arruda

Boolean Powers in algebric logic

DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

Ayda Ignez Arruda

Exibindo 241-270 de 407 resultados