Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)
Crossref DOI link: https://doi.org/10.1007/s10992-016-9421-y
Published Online: 2017-03-10
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Antonelli, Aldo
License valid from 2017-03-10