2014年6月2日

4.2 THE COMPLETENESS THEOREM: (5) The right-hand sides depend only on the $\mathbf{a_i^{\circ}}$ and not on the $\mathbf{a_i}$

摘要： The right-hand sides of n-ary function and predicate definition in canonical structure depend only on the $\mathbf{a_i^{\circ}}$ and not on the $\mathbf{a_i}$ 阅读全文

posted @ 2014-06-02 22:19 借书 阅读(175) 评论(0) 推荐(0)

4.2 THE COMPLETENESS THEOREM: (4) The definition of canonical structure $\mathbf{\alpha}$ for $\mathbf{T}$

摘要： The definition of canonical structure $\mathbf{\alpha}$ for $\mathbf{T}$ 规范结构的定义 阅读全文

posted @ 2014-06-02 21:56 借书 阅读(233) 评论(0) 推荐(0)

导航