Logic, Language, Information, and Computation 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings by Ruy De Queiroz | Menrva Books | MenrvaBooks