Affichage de 26 résultats

Description archivistique
Publicação
BR SPCLEARQ AIA_PItm_1 · Pièce · [1974-1976]
Fait partie 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.

Sans titre
Formulário de solicitação
BR SPCLEARQ AIA_AA_Fapesp_DNC_1 · Pièce · [1977-09?]
Fait partie 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.

Sans titre
Carta de solicitação
BR SPCLEARQ AIA_AA_Fapesp_DAS_1 · Pièce · 1980-05-16
Fait partie 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.

Sans titre
Carta de informações
BR SPCLEARQ AIA_C_Ct_16 · Pièce · s.d.
Fait partie 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.

Sans titre
Carta de informações
BR SPCLEARQ AIA_C_Ca_18 · Pièce · 1981-01-13
Fait partie 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.

Sans titre
Publicação
BR SPCLEARQ AIA_PItm_2 · Pièce · [1978-1980]
Fait partie 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.

Sans titre
Resenha
BR SPCLEARQ AIA_I_31 · Pièce · 1982-02
Fait partie 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.

Sans titre
Resumo
BR SPCLEARQ AIA_I_32 · Pièce · 1982
Fait partie 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.

Sans titre
Resumo
BR SPCLEARQ AIA_I_33 · Pièce · 1968
Fait partie 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].

Sans titre
Publicação
BR SPCLEARQ AIA_I_34 · Pièce · 1974
Fait partie de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.

Sans titre