共 50 条
- [1] COMPLETENESS THEOREMS FOR LINEARIZED THEORIES OF INTERACTING CONTINUA QUARTERLY JOURNAL OF MECHANICS AND APPLIED MATHEMATICS, 1968, 21 : 171 - &
- [4] Completeness theorems and λ-calculus TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 1 - 9
- [6] On the Family of Theorems on Metric Completeness EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS, 2024, 17 (04): : 2370 - 2383
- [7] Completeness theorems for syllogistic fragments LOGICS FOR LINGUISTIC STRUCTURES, 2008, 201 : 143 - 173
- [10] COMPLETENESS THEOREMS FOR TOPOLOGICAL MODELS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (07): : A765 - A765