Baaz, M., & Lolic, A. (2024). Epsilon Calculus Provides Shorter Cut-Free Proofs.
Style de citation Chicago (17e éd.)Baaz, Matthias, et Anela Lolic. Epsilon Calculus Provides Shorter Cut-Free Proofs. 2024.
Style de citation MLA (9e éd.)Baaz, Matthias, et Anela Lolic. Epsilon Calculus Provides Shorter Cut-Free Proofs. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.