Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-22 Item 1968-01-08 Parte de Ayda Ignez Arruda ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-23 Item 1968-04-29 Parte de Ayda Ignez Arruda ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-24 Item 1970-05-04 Parte de Ayda Ignez Arruda ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-34 Item 1974 Parte 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. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-37 Item 1970-03 Parte de 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. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-43 Item [1978] Parte de Ayda 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 de Ayda 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 de Ayda 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 de Ayda 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 de Ayda 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