DS-2019-07: Frederik Möllerström Lauridsen Cuts and Completions: Algebraic aspects of structural proof theory 1.Full Text, 2.Abstract, 3.Samenvatting. < Back
