Mostrando 261 resultados

Descrição arquivística
Ayda Ignez Arruda Ayda Ignez Arruda
Visualizar impressão Visualizar:

2 resultados com objetos digitais Exibir resultados com objetos digitais

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 Cecylia Rauszer para AIA

Carta, em inglês, de Cecylia Rauszer para AIA, lamentando sobre o estado de saúde de AIA e informando sobre sua visita ao Brasil. Warsaw, 15 nov. 1982. Ass.: Cecylia. 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

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, agradecendo e solicitando maiores informações sobre o livro ?Paraconsistent Logic?. Dordrecht, 23 jul. 1982. Ass.: J.C. Kuipers. 1p. dat.

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

Cálculo Proposicional

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Ayda Ignez Arruda

A teoria de primeira ordem v

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Linguagem de Primeira Ordem

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

O sistema A de Ackermann

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Sobre o Sistema G1 de Gentzen

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

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

Exibindo 61-90 de 261 resultados