Mostrando 261 resultados

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

2 resultados com objetos digitais Exibir resultados com objetos digitais

Carta de Ken para AIA

Carta, em inglês, de Ken para AIA, comentando sobre sua vida pessoal e indagando sobre o congresso de Salzburg. Annapolis, 12 abr. 1983. Ass.: Ken. 1p.

Ayda Ignez Arruda

Cartão de Ken para AIA

Cartão, em inglês, de Ken para AIA, comunicando o envio e o pagamento do livro. S.l., 13 maio 1983. Ass.: Ken. 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 Luiz Paulo de Alcântara para AIA

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

Ayda Ignez Arruda

Carta de Oswaldo Chateaubriand para AIA

Carta de Oswaldo Chateaubriand para AIA, agradecendo correspondência anterior e informando endereço. Rio de Janeiro, 24 jun. 1982. Ass.: Oswaldo. 1p. dat.

Ayda Ignez Arruda

Carta de Richard Routley para AIA

Carta, em inglês, de Richard Routley para AIA, comunicando sobre trabalhos científicos. Austrália, 30 dez. 1981. Ass.: Richard Routley. 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

Carta de Ryszard Wójcicki para AIA

Carta, em inglês, de Ryszard Wójcicki para AIA, agradecendo resposta à correspondência anterior. S.l., 18 fev. 1982. Ass.: R. Wójcicki. 1p. dat.

Ayda Ignez Arruda

Carta de Ryszard Wójcicki para AIA

Carta, em inglês, de Ryszard Wojcick para AIA e outros, comunicando aprovação da lista de editores da Studia Logica. S.l., 23 nov. 1982. Ass.: Ryszard Wojcick. 1p. dat.

Ayda Ignez Arruda

Cartão de Natal de Sava Petrov para AIA

Cartão de Natal, em inglês, de Sava Petrov para AIA, desejando um feliz ano e agradecendo o envio das revistas Cadernos de História da Ciência e Manuscrito. S.l., 03 jan. 1983. Ass.: ( __ ). 1p. dat.

Ayda Ignez Arruda

Carta de Steve Giambrone para AIA

Carta, em inglês, de Steve Giambrone para AIA, solicitando bibliografia da versão do livro A Survey of Paraconsistent Logic. Austrália, 08 jan. - . Ass.: Steve Giambrone. 1p. dat.

Ayda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

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

Carta de Ken para AIA

Carta, em inglês, de Ken para AIA, comunicando o envio de cópia do artigo de E.L. Post e informando que está procurando o livro. Annapolis, 18 abr. 1983. Ass.: Ken. 1p.

Ayda Ignez Arruda

Carta de Lorenzo Peña

Carta, em espanhol, de Lorenzo Peña para AIA, solicitando comentários ao livro Aporetic and Nonaporetic Paradoxes from the Viewpoint of na Axiomatized Contradictional Fuzzy Set-Theory. Quito, 06 abr. 1982. Ass.: Lorenzo Peña. 2p. ms.

Ayda Ignez Arruda

Carta de Lorenzo Peña

Carta, em espanhol, de Lorenzo Peña par AIA, desejando um felicidades no novo ano e falando sobre o trabalho a ser apresentado no Congresso de Salzburg. Quito, 09 dez. 1982. Ass.: Lorenzo. 1p. ms.

Ayda Ignez Arruda

Carta de Manoel Corrada para AIA

Carta, em espanhol, de Manoel Corrada para AIA, falando sobre a possibilidade dos professores Jeff Paris e George Wilmers visitarem a Unicamp. Santiago de Chile, 22 mar. 1983. Ass.: Manoel Corrada. 1p. ms.

Ayda Ignez Arruda

Exibindo 181-210 de 261 resultados