- BR SPCLEARQ FAIA-C-Ca
- Subsérie
Parte deAyda Ignez Arruda
18 resultados com objetos digitais Mostrar os resultados com objetos digitais
Parte deAyda Ignez Arruda
Carta de AIA para Diderik Batens
Parte deAyda Ignez Arruda
Carta, em inglês, de AIA a Diderik Batens, acusando recebimento de sua carta e da segunda versão de seu paper, dizendo ter alguns comentários sobre ele, e informando seu retorno à direção do IMECC.
Carta de AIA para Diderik Batens
Parte deAyda Ignez Arruda
Carta, em inglês, de AIA a Diderik Batens, agradecendo sua carta e dizendo estar bem confiante com o tratamento e que espera em breve retornar a fazer pesquisas. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta, em inglês, de Anil Nerode para AIA, apresentando o professor Jaime Bohorquez. S.l., 25 abr. 1982. Ass.: Anil Nerode. 2p. dat. cópia.
Ayda Ignez Arruda
Carta de Carlos Di Prisco para AIA
Parte deAyda Ignez Arruda
Carta, em espanhol, de Carlos Di Prisco para AIA, comunicando pedido de auxílio para viagem e informando as dificuldades políticas e econômicas na Venezuela. Caracas, 10 mar. 1983. Ass.: Carlos Di Prisco. 1p. ms.
Ayda Ignez Arruda
Carta de Diderik Batens para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Diderik Batens para AIA, informando sobre trabalho a ser desenvolvido em conjunto. Gent, 21 jan. 1982. Ass.: Diderik. 1p. dat.
Ayda Ignez Arruda
Carta de Diderik Batens para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Diderik Batens para AIA, sugerindo alterações ao artigo elaborado em conjunto. Gent, 19 abr. 1982. Ass.: Diderik. 1p. dat.
Ayda Ignez Arruda
Carta de Diderik Batens para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Diderik Batens para AIA, comunicando revisões nos artigos. Gent, 19 abr. 1982. Ass.: Diderik. 1p. dat.
Ayda Ignez Arruda
Carta de Diderik Batens para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Diderik Batens para AIA, comunicando envio de artigo e solicitando correções. Gent, 04 maio 1982. Ass.: Diderik. 1p. dat.
Ayda Ignez Arruda
Carta de Diderik Batens para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Diderik Batens para AIA, informando sobre os trabalhos a serem publicados e desejando sua recuperação. S.l., 25 out. 1982. Ass.: Diderik. 1p. dat.
Ayda Ignez Arruda
Cartão de Francisco Xavier Caicedo para AIA
Parte deAyda Ignez Arruda
Cartão, em inglês, de Francisco Xavier Caicedo e Carmem para AIA, desejando boas festas e rápida recuperação. S.l., 21 dez. 1982. Ass.: Xavier Caicedo; Carmem. 1p. ms.
Ayda Ignez Arruda
Carta de J.C. Kuipers para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de J.C. Kuipers para AIA, indagando sobre possível interesse da D. Reidel Publishing Company em publicar o livro ?Paraconsistent Logic?. Dordrecht, 23 abr. 1982. Ass.: J.C. Kuipers. 1p. dat.
Ayda Ignez Arruda
Carta de J.C. Kuipers para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de J.C. Kuipers para AIA, solicitando maiores informações sobre o livro ?The Logical Views of N. A. Vasil?ev?. Dordrecht, 22 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta, em inglês, de Jean Norman para AIA, solicitando a devolução do artigo corrigido rapidamente. [Austrália], 10 nov. 1982. Ass.: Jean Norman. 1p. ms.
Ayda Ignez Arruda
Carta de Nicola Grana para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Nicola Grana para AIA, comunicando interesse pelos estudos de Lógica Paraconsistente. [Itália, 198-]. Ass.: Nicola Grana. 1p. ms.
Ayda Ignez Arruda
Carta de Richard Routley para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Richard Routley para AIA, comentando sobre artigos e trabalhos científicos. Austrália, 10 dez. [1982]. Ass.: Richard. 1p. ms.
Ayda Ignez Arruda
Carta de Richard [Routley] para Newton C. A. da Costa
Parte deAyda Ignez Arruda
Carta, em inglês, de Richard [Routley] para Newton C. A. da Costa, encaminhando o estudo Relevant da Costa Logics and their Extensions. S.l., S.d. Ass.: Richard. 2p. dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Sur certaines hiérarchies de calculs propositionnels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.
Ayda Ignez Arruda
Some remarks on the logic of vagueness
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 ? 138, s.d.
Ayda Ignez Arruda
Mathematical Logic in Latin America
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Introduction: A Short History of the Latin American Logic Symposia
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.
Ayda Ignez Arruda
Leibniziani e strutture alla luce della logica matematica
Parte deAyda Ignez Arruda
CARRUCCIO, Ettore. Mondo Possibili Leibniziani e strutture alla luce della logica matematica. Filosofia-Metodologia-Didatica, p.203-21. s.d.
Ayda Ignez Arruda
Measures of centrality and complexity for partial propositional calculi
Parte deAyda Ignez Arruda
CHAPIN Jr., E. William. Measures of centrality and complexity for partial propositional calculi. Arch. Match. Logik, v.15, p. 7-18, 1972.
Ayda Ignez Arruda
Boolean Powers in algebric logic
Parte deAyda Ignez Arruda
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