- BR SPCLEARQ FAIA-C-Cp-IT291
- Item
- 1982-11-10
Part of Ayda 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.
Untitled
Showing 261 results
Archival description2 results with digital objects Show results with digital objects
- BR SPCLEARQ FAIA-C-Cp-IT298
- Item
- ? - 1983-01-05
Part of Ayda Ignez Arruda
Aerograma, em espanhol, de Ken para AIA, desejando um Feliz 1983, comunicando o envio de um artigo e falando sobre sua estada em Campinas. Annapolis, 05 jan. 1983. Ass.: Ken. 1p. ms.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT299
- Item
- ? - 1983-03-05
Part of Ayda Ignez Arruda
Aerograma, em inglês, de Ken para AIA, relatando suas atividades em Annapolis e informando a respeito de um mini-curso sobre w-rule a ser proferido. Annapolis, 05 mar. 1983. Ass.: Ken. 1p. ms.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT302
- Item
- ? - 1983-04-25
Part of Ayda Ignez Arruda
Carta, em inglês, de Ken para AIA, comunicando ter encontrado o livro e perguntando sobre a melhor forma de entregá-lo. Annapolis, 25 abr. 1983. Ass.: Ken. 1p.
Untitled
Carta de Nicola Grana para AIA
- BR SPCLEARQ FAIA-C-Cp-IT313
- Item
Part of Ayda 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.
Untitled
Carta de Oswaldo Chateaubriand para AIA
- BR SPCLEARQ FAIA-C-Cp-IT315
- Item
- ? - 1982-02-02
Part of Ayda Ignez Arruda
Carta de Oswaldo Chateaubriand para AIA, convidando-a para um ciclo de palestras. Rio de Janeiro, 02 fev. 1982. Ass.: O.Chateaubriand. 1p. dat.
Untitled
Carta de Oswaldo Chateaubriand para AIA
- BR SPCLEARQ FAIA-C-Cp-IT316
- Item
- ? - 1982-04-22
Part of Ayda Ignez Arruda
Carta de Oswaldo Chateaubriand para AIA, agradecendo a aceitação ao convite, informando sobre o pagamento de sua viagem e solicitando o título de sua palestra. Rio de Janeiro, 22 abr. 1982. Ass.: O.Chateaubriand. 1p. dat.
Untitled
Carta de Richard Routley para AIA
- BR SPCLEARQ FAIA-C-Cp-IT322
- Item
Part of Ayda 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.
Untitled
Carta de Richard Routley para AIA
- BR SPCLEARQ FAIA-C-Cp-IT323
- Item
- ? - 1983-08-23
Part of Ayda Ignez Arruda
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.
Untitled
Cartão de Sava Petrov para AIA
- BR SPCLEARQ FAIA-C-Cp-IT329
- Item
- ? - 1981-12-25
Part of Ayda Ignez Arruda
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.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT332
- Item
- ? - 1976-05-25
Part of Ayda Ignez Arruda
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.
Untitled
Capítulo I: Cálculo Proposicional
- BR SPCLEARQ FAIA-PIm-CP-IT397
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.
Untitled
Capítulo II: Cálculo Proposicional
- BR SPCLEARQ FAIA-PIm-CP-IT398
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-CP-IT401
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.
Untitled
Capítulo I - Introdução aos Conceitos Fundamentais
- BR SPCLEARQ FAIA-PIm-EL-IT410
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT414
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT425
- Item
Part of Ayda Ignez Arruda
Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.
Untitled
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
- BR SPCLEARQ FAIA-PIm-EL-IT428
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms.
Untitled
Estudos analisando vários aspectos da lógica
- BR SPCLEARQ FAIA-PIm-EL-IT431
- Item
- 1975-09-05
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.
Untitled
Estudo sobre a regra do modus ponens
- BR SPCLEARQ FAIA-PIm-EL-IT436
- Item
Part of Ayda Ignez Arruda
Estudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. ms.
Untitled
Some remarks on the logic of vagueness
- BR SPCLEARQ FAIA-Impr-IT494
- Item
Part of Ayda Ignez Arruda
ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 ? 138, s.d.
Untitled
Mathematical Logic in Latin America
- BR SPCLEARQ FAIA-Impr-IT496
- Item
- 1982-02
Part of Ayda 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.
Untitled
Mathematical Logic in Latin America
- BR SPCLEARQ FAIA-Impr-IT497
- Item
- 1982
Part of Ayda 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.
Untitled
On the relevant systems P and P* and some related systems
- BR SPCLEARQ FAIA-Impr-IT501
- Item
- 1980-05
Part of Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)
Untitled
Sur le schèma de la sèparation
- BR SPCLEARQ FAIA-Impr-IT502
- Item
- 1970-03
Part of Ayda 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.
Untitled
Introduction: A Short History of the Latin American Logic Symposia
- BR SPCLEARQ FAIA-Impr-IT507
- Item
Part of Ayda 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.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT301
- Item
- ? - 1983-04-18
Part of Ayda Ignez Arruda
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.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT305
- Item
- ? - 1982-04-06
Part of Ayda Ignez Arruda
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.
Untitled
- BR SPCLEARQ FAIA-C-Cp-IT306
- Item
- ? - 1982-12-09
Part of Ayda Ignez Arruda
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.
Untitled
Carta de Manoel Corrada para AIA
- BR SPCLEARQ FAIA-C-Cp-IT308
- Item
- ? - 1983-03-22
Part of Ayda Ignez Arruda
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.
Untitled
Results 181 to 210 of 261