179 followers
Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment) https://t.co/LYyyrsZAgV
Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment) https://t.co/LYyyrsZAgV