Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-34 Item 1974 Parte deAyda 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. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-37 Item 1970-03 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
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-43 Item [1978] 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
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-45 Item 1980-06 - 1980-09 Parte deAyda Ignez Arruda BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-59 Item 1964 Parte deAyda Ignez Arruda COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-60 Item 1971-05 Parte deAyda Ignez Arruda COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971. Ayda Ignez Arruda
Publicação Adicionar a área de transferência 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
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-62 Item 1971 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
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-66 Item 1977 Parte deAyda Ignez Arruda FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-79 Item s.d. Parte deAyda Ignez Arruda LARGEAULT, Jean. La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Gödel, p.56-79. Ayda Ignez Arruda