Hypothetical Judgments 和 Hypothetical Inductive Definitions
摘要：
Hypothetical Judgements 之前一篇介绍了 "Judgements和Inductive Definition" ，这里通过给Judgements加上一些关系，同时扩展下Inductive Definition。 Derivability Derivability指的是说，由某几个 阅读全文
posted @ 2016-01-13 06:57 FishBoneX 阅读(454) 评论(0) 推荐(0) 编辑
