一阶述词逻辑

一阶述词逻辑

拼音： yī jiē shù cí luó ji
日本語訳 一階述語論理