共 42 条
- [3] Matsushima's and Garland's formulas. BULLETIN DE LA SOCIETE MATHEMATIQUE DE FRANCE, 1998, 126 (01): : 107 - 139
- [5] Substitution in First-Order Formulas. Part II. The Construction of First-Order Formulas FORMALIZED MATHEMATICS, 2005, 13 (01): : 27 - 32