Relatório Adicionar a área de transferência BR SPCLEARQ AIA-I-64 Item 1975 Parte de Ayda Ignez Arruda DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975. Ayda Ignez Arruda