Orlandelli, Eugenio, and Matteo Tesi. 2024. “A Syntactic Proof of the Decidability of First-Order Monadic Logic”. Bulletin of the Section of Logic, February, 22 pp. https://doi.org/10.18778/0138-0680.2024.03.