Leitsch, A., & Lolic, A. (2024). Herbrand's Theorem in Refutation Schemata.
Chicago-Zitierstil (17. Ausg.)Leitsch, Alexander, und Anela Lolic. Herbrand's Theorem in Refutation Schemata. 2024.
MLA-Zitierstil (9. Ausg.)Leitsch, Alexander, und Anela Lolic. Herbrand's Theorem in Refutation Schemata. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.