Baaz, M., & Lolic, A. (2024). Epsilon Calculus Provides Shorter Cut-Free Proofs.
Chicago-Zitierstil (17. Ausg.)Baaz, Matthias, und Anela Lolic. Epsilon Calculus Provides Shorter Cut-Free Proofs. 2024.
MLA-Zitierstil (9. Ausg.)Baaz, Matthias, und Anela Lolic. Epsilon Calculus Provides Shorter Cut-Free Proofs. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.