[显示"修订历史"] [显示"一般信息"] [显示"网页点击次数和编辑次数"]
网页大小：411
此页正文的SHA编码： 00B5F2089AE9A035B4D94CD88AD1D452BF53EAFB
此页包含 0 个附件。
此页连到以下网页： 一阶谓词逻辑, 量词, 全称量词.
