ORLANDELLI, Eugenio; TESI, Matteo. A Syntactic Proof of the Decidability of First-Order Monadic Logic. Bulletin of the Section of Logic, [S. l.], v. 53, n. 2, p. 223–244, 2024. DOI: 10.18778/0138-0680.2024.03. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/18448. Acesso em: 22 jul. 2024.