Publicação Adicionar a área de transferência BR SPCLEARQ AIA-I-92 Item 1969 Parte de Ayda 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
