2016年1月13日

Hypothetical Judgments 和 Hypothetical Inductive Definitions

摘要: Hypothetical Judgements 之前一篇介绍了 "Judgements和Inductive Definition" ,这里通过给Judgements加上一些关系,同时扩展下Inductive Definition。 Derivability Derivability指的是说,由某几个 阅读全文

posted @ 2016-01-13 06:57 FishBoneX 阅读(456) 评论(0) 推荐(0) 编辑

导航