Epsilon Calculus Provides Shorter Cut-Free Proofs

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ6517764arXivFDO

Authors Matthias Baaz, Anela Lolic

Published in arXiv

This page was built for publication: Epsilon Calculus Provides Shorter Cut-Free Proofs

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Epsilon_Calculus_Provides_Shorter_Cut-Free_Proofs&oldid=103466603"