Non-classical elegance for sequent calculus enthusiasts
scientific article; zbMATH DE number 6702464
scientific article