共 50 条
- [2] Carnap, Completeness, And Categoricity:The Gabelbarkeitssatz OF 1928 Erkenntnis, 2001, 54 : 145 - 172
- [5] CARNAP ON EXTREMAL AXIOMS, "COMPLETENESS OF THE MODELS," AND CATEGORICITY REVIEW OF SYMBOLIC LOGIC, 2012, 5 (04): : 613 - 641
- [7] ∏11-Completeness of the Computable Categoricity Problem for Projective Planes Algebra and Logic, 2016, 55 : 283 - 288