Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
scientific article