%0 Journal Article
%A Orlandelli, Eugenio
%A Tesi, Matteo
%T A Syntactic Proof of the Decidability of First-Order Monadic Logic
%J Bulletin of the Section of Logic
%D 2024
%P 223-244
%V 53
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2024_53_2_a4/
%G en
%F BSL_2024_53_2_a4