The Completeness Theorem
Graduate texts in mathematics2021pp. 71–81
Related Papers
- → The completeness theorem of Gödel(2001)3 cited
- → An analytic completeness theorem for logics with probability quantifiers(1987)5 cited
- → Analytic completeness theorem for singular biprobability models(1993)2 cited
- On the Strong Completeness of the Formal System L(2005)
- Shorter Refutation of Gödel’s Completeness Theorem(2019)