＞数理逻辑与数学基础＞模型论＞释义 well-formed formula 合式公式 well-formed formula 合式公式† wff 合式公式
理论计算机科学 可计算性与计算复杂性 释文 well-formed formula 合式公式
- Mike Leigh
- Mike Nicol
- MIKES
- Mike Wallace
- Mikhail Afanas'evich Stel'makh
- Mikhail Afanasyevich Bulgakov
- Mikhail Alekeevich Voronov
- Mikhail Aleksandrovich Bakunin
- Mikhail Aleksandrovich Bonch-Bruevich
- Mikhail Aleksandrovich Lifshitz
- Mikhail Aleksandrovich Sholokhov
- Mikhail Aleksandrovich Ulyanov
- Mikhail Aleksandrovich Vrubel
- Mikhail Alekseevich Kuzmin
- Mikhail Alexandrovich Dudin
- Mikhail Andreevich Osorgin
- Mikhail Andreyevich Velikanov
- Mikhail Arkadevich Svetlov
- Mikhail Baryshnikov
- Mikhail Efimovich Koltsov
- Mikhail Emmanuilovich Kozakov
- Mikhail Fabianovich Gnesin
- Mikhail Filippovich Shatrov
- Mikhail Fyodorovich Larionov
- Mikhail G. Yaroshevsky