共 50 条
- [23] Definable types in the theory of closed ordered differential fields Archive for Mathematical Logic, 2017, 56 : 119 - 129
- [24] Types in valued fields COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1996, 323 (08): : 841 - 844