您要查找的是不是：
- Godel蕴涵算子 Godel implication operator
- Godel蕴涵算子的导出算子G3 the derived operator G3 of Godel implication operator
- 蕴涵算子 implication operator
- 蕴涵算子族 family of implication operator
- Godel语言 Godel
- 蕴涵算子Lp implication operator Lp
- NMp蕴涵算子 implication operator NMp
- 蕴涵 contain
- 发现这种不可证明性的是奥地利数学天才库尔特·高戴尔(Kurt Godel),不幸的是他在晚年发了疯。 Their unprovability was discovered by an Austrian mathematical genius called Kurt Godel, who unfortunately went insane toward the end of his life.
- 蕴涵算子Rp implication operator Rp
- Luk蕴涵算子 Lukasiewicsz implication operator
- δ算子 δ-operator
- "或非" 算子 NOR operator
- 蕴涵图 implication diagram
- 谱算子 spectral operator
- 蕴涵代数 implication algebras
- 流形上的偏微分算子 partial differential operator on manifold
- 蕴涵式 implications
- Ｍ－生长算子 M-accretive operator
- 蕴涵项 implicant
