哲学、微积分、语义学和逻辑 电子书下载

原名:Philosophy, Calculus, Semantics, and Logic
作品简介:我们继续在第 4 节中给出一系列基本系统示例，目的是这些变体都不需要对 Abramsky 的 It 进行修改，但是，它有助于阐明有限元 K(D) ⊆ D，定义为。……