On structural completeness of some nonclassical predicate calculi

Lista de inventário