Orlandelli, E. and Tesi, M. 2024. A Syntactic Proof of the Decidability of First-Order Monadic Logic. Bulletin of the Section of Logic. (Feb. 2024), 22 pp. DOI:https://doi.org/10.18778/0138-0680.2024.03.