PP-2015-21: Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen One-step Heyting algebras and hypersequent calculi with the bounded proof property 1.Full Text, 2.Abstract. < Back
