搜索结果: 1-1 共查到“公理集合论 logic”相关记录1条 . 查询时间(0.093 秒)
We sharpen H丩ajek乫s Completeness Theorem for theories
extending predicate product logic, 儺佂. By relating provability
in this system to embedding properties of ordered abelian groups
we construct a ...