Quantified propositional calculi and narrow implicit proofs

From MaRDI portal

MaRDI QIDQ7264389arXivFDO

Authors Pavel Pudlák, Neil Thapen

Publication date 2026

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Quantified propositional calculi and narrow implicit proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7264389)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Quantified_propositional_calculi_and_narrow_implicit_proofs&oldid=107808896"
Powered by MediaWiki