Report copyright - Derivability in the Logic of Proofs is Πp-complete · Derivability in the Logic of Proofs is Πp 2-complete Robert Milnikel Department of Mathematics Kenyon College, Gambier, OH
Please pass captcha verification before submit form
Please pass captcha verification before submit form