Visualizar impressão Fechar

Mostrando 38 resultados

Descrição arquivística
Publicação
BR SPCLEARQ AIA-PItm-1 · Item · [1974-1976]
Parte de Ayda Ignez Arruda

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Ayda Ignez Arruda
Formulário de solicitação
BR SPCLEARQ AIA-AA-Fapesp-DNC-1 · Item · [1977-09?]
Parte de Ayda 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
Carta de solicitação
BR SPCLEARQ AIA-AA-Fapesp-DAS-1 · Item · 1980-05-16
Parte de Ayda 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
Carta de informações
BR SPCLEARQ AIA-C-Ct-16 · Item · s.d.
Parte de Ayda 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
Carta de informações
BR SPCLEARQ AIA-C-Ca-18 · Item · 1981-01-13
Parte de Ayda 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
Publicação
BR SPCLEARQ AIA-PItm-2 · Item · [1978-1980]
Parte de Ayda 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
Resenha
BR SPCLEARQ AIA-I-31 · Item · 1982-02
Parte de 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.

Ayda Ignez Arruda
Resumo
BR SPCLEARQ AIA-I-32 · Item · 1982
Parte de 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.

Ayda Ignez Arruda
Resumo
BR SPCLEARQ AIA-I-33 · Item · 1968
Parte de Ayda Ignez Arruda

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Ayda Ignez Arruda