Mostrando 368 resultados

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

16 resultados com objetos digitais Exibir resultados com objetos digitais

Comunicado do gabinete do reitor da Unicamp

Comunicado do gabinete do reitor da Unicamp, esclarecendo alguns fatos relativos aos atos do reitor. Cidade Universitária "Zeferino Vaz

Ayda Ignez Arruda

Carta de AIA para Diderik Batens

Carta, em inglês, de AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.

Ayda Ignez Arruda

Carta de Alexandre A. Martins Rodrigues para AIA

Carta de Alexandre A. Martins Rodrigues para AIA, comunicando a impossibilidade de participar em bancas de concurso e indicando o período mais apropriado para tal. Saint Martin-d?Hers, 25 abr. 1983. Ass.: Alexandre A. Martins Rodrigues. 1p. ms.

Ayda Ignez Arruda

Carta de Andrés Raggio para AIA

Carta, em espanhol, de Andrés Raggio para AIA, descrevendo a situação econômica da Argentina e comunicando interesse em trabalhar no Brasil. El Olvido, 24 mar. 1982. Ass.: Raggio. 1p. dat.

Ayda Ignez Arruda

Carta de Andrés Raggio para AIA

Carta, em espanhol, de Andrés Raggio para AIA, comunicando a data de início do curso e solicitando informações sobre trabalhos científicos. El Olvido, 28 abr. 1982. Ass.: Raggio. 1p. dat.

Ayda Ignez Arruda

Carta de Bonita Ross para AIA

Carta, em inglês, de Bonita Ross para AIA, comunicando o envio de publicação e solicitando endereço da Sociedade Brasileira de Lógica. S.l., 07 fev. 1983. Ass.: Bonita Ross. 1p. dat.

Ayda Ignez Arruda

Carta de Carlos Di Prisco para AIA

Carta, em espanhol, de Carlos Di Prisco para AIA, comunicando a realização do VI Simpósio Latino-Americano de Lógica Matemática e convidando AIA para proferir uma conferência. Caracas, 22 abr. 1982. Ass.: Carlos Di Prisco. 1p. dat. cópia.

Ayda Ignez Arruda

Telex de Carlos Di Prisco para AIA

Telex, em espanhol, de Carlos Di Prisco para AIA, informando o envio de passagens aéreas. Caracas, S.d. S.ass. 1p. dat.

Ayda Ignez Arruda

Carta de Diderik Batens para AIA

Carta, em inglês, de Diderik Batens para AIA, comunicando a publicação de trabalho e enviando separatas. S.l., 22 dez. 1982. Ass.: Diderik. 1p. dat.

Ayda Ignez Arruda

Carta de Francisco Xavier Caicedo para AIA

Carta, em inglês, de Francisco Xavier Caicedo para AIA, enviando documentos, artigos e solicitando informações sobre possível publicação de artigos no Brasil. Bogotá, 17 fev. 1982. Ass.: Xavier Caicedo. 1p. dat.

Ayda Ignez Arruda

Carta de Georg Dorn

Carta, em inglês, de Georg Dorn, organização do VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência, para AIA, convidando-a e solicitando título do trabalho a ser apresentado. Salzburg, 25 fev. 1983. Ass.: Georg Dorn. 1p. dat

Ayda Ignez Arruda

Cartão de Hristo Smolenov para AIA

Cartão em inglês de Hristo Smolenov, dizendo estar contente com sua recuperação e solicitando a opinião AIA sobre um trabalho científico. [Sofia], S.d. Ass.: Hristo. 1p. ms.

Ayda Ignez Arruda

Carta de J.C. Kuipers para AIA

Carta, em inglês, de J.C. Kuipers para AIA, indagando seu interesse em publicar o livro ?A Survey of Paraconsistent Logic? e solicitando que ela escreva diretamente ao professor Hintikka. Dordrecht, 16 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.

Ayda Ignez Arruda

Carta de Jean Norman para AIA

Carta, em inglês, de Jean Norman para AIA, encaminhando artigo para correções. [Austrália], 02 set. 1982. Ass.: Jean Norman. 1p. dat.

Ayda Ignez Arruda

Carta de Kazem Sadegh-Zadeh para AIA

Carta, em inglês, de Kazem Sadegh-Zadeh para AIA, comunicando seu contentamento em tê-la recebido em Tecklenburg e informando sobre trabalhos em lógica. [Münster], 15 fev. 1982. Ass.: K. Sadegh-Zadeh. 1p. ms.

Ayda Ignez Arruda

Carta de Kazem Sadegh-Zadeh para AIA

Carta, em inglês, de Kazem Sadegh-Zadeh para AIA, agradecendo o cartão de natal recebido, retribuindo e desejando vê-la em breve em Tecklenburg. [Münster], 20 dez. 1982. Ass.: Kazem & Family. 1p. ms.

Ayda Ignez Arruda

Cartão postal de Leopoldo Nachbin

Cartão postal de Leopoldo Nachbin e demais participantes da reunião de Análise Funcional para AIA, desejando votos de breve retorno à direção do IMECC. Rio de Janeiro, S.d. Ass.: Leopoldo Nachbin; Mário Matos; Guido Zapata e outros. 1p. ms.

Ayda Ignez Arruda

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comunicando sobre desenvolvimento de trabalhos científicos. Austrália, 26 abr. - . Ass.: Richard. 1p. ms.

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

Exibindo 91-120 de 368 resultados