- BR SPCLEARQ AIA-I-61
- Item
- 1976-06
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 281, 31 jan. 1977.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Formulário de pedido de auxílios Fapesp preenchido por Newton da Costa para projeto de pesquisa intitulado Teoria dos Modelos e Aplicações a ser desenvolvido na Unicamp, Usp e Universidade Católica do Chile.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Artigo, em inglês, de Newton C. A. da Costa e Robert G. Wolf, intitulado Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities. S.l., [1978-1980]. S.ass. 19p. dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta de Newton C.A. da Costa para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório científico relativo ao projeto Teoria de Modelos e Aplicações, processo 77/0790.
Ayda Ignez Arruda
Parte deAyda 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.)
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando o pagamento de separatas de artigos publicados por ela e por Newton da Costa nas Atas do IV Simpósio Latino-Americano de Lógica Matemática.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta, em inglês, de AIA a Diderik Batens informando o envio do primeiro rascunho de seu paper, que seu trabalho com Newton da Costa está pronto e que a crise na Unicamp ainda não foi solucionada.
Ayda Ignez Arruda
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