Report - 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

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form