Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-23 Item 1968-04-29 Parte deAyda 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-76 Item 1969 Parte deAyda Ignez Arruda JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-92 Item 1969 Parte deAyda Ignez Arruda ROGAVA, M.G. On sequential modifications of applied predicate calculi. Semin. Math., V.A. Steklov Math. Inst. Leningrad 4, p.77-81, 1969. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-20 Item 1969-03-24 Parte deAyda Ignez Arruda ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-19 Item 1969-03-31 Parte deAyda Ignez Arruda ARRUDA, Ayda I. Sur certains algèbres de classes non classiques. C.R. Acad. Sc. Paris, t.268, p. 677-680, 31 mar. 1969 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-25 Item 1970-04-27 Parte deAyda Ignez Arruda ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970. Ayda Ignez Arruda
Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-24 Item 1970-05-04 Parte deAyda 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
Relatório de viagem Adicionar a área de transferência BR SPCLEARQ AIA-AA-1 Item 1970-05-11 Parte deAyda Ignez Arruda Relatório de viagem de AIA, descrevendo suas atividades na Europa no período de novembro de 1969 a maio de 1970. Ayda Ignez Arruda
Relatório de atividades Adicionar a área de transferência BR SPCLEARQ AIA-AA-2 Item 1970-05-20 Parte deAyda Ignez Arruda Relatório de Atividades de AIA referente ao ano de 1969. Ass.: Ayda Ignez Arruda Ayda Ignez Arruda
