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