"Derivability in certain subsystems of the Logic of Proofs is ..."

Robert Saxon Milnikel (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics