Algorithms for quantified cut-introduction / von Christoph W. Spörk. 2015
Inhalt