＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- Yasmina Khadra
- Yasothon
- Yasuhiro Wakabayashi
- Yasui Sōtarō
- Yasukuni Shrine
- Yasumasa Morimura
- Yasumi Toshio
- Yasuni National Park
- Yasuo Mori
- Yatenga Agreement
- Yates
- Yates adjustment
- Yates correction
- Yates method
- Yatsuhashi Kengyo
- Yatuoga
- Yau
- Yau conjecture
- Yau Ma Tei Theatre
- Yau Shing Tung
- Yau Shing-Tung
- Yaushingtung
- Yau Shing-Tung (1949—)
- Yau Tat-Chi
- yaw