Seol mar théacs é seo: Kelsen y la lógica jurídica formal