存在假设和逻辑原理：直觉逻辑中的选择算子 下载（227页） 电子书下载

原名:Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic Download (227 Pages)
作品简介:通过将这些原则显示为存在假设来反映形而上学的承诺；达米特的框架是通过这些改进的。三维欧几里得几何是一个六参数群， 。除了其他人的叙述外，通常还有那些反对他的立场的人，例如薇尔-…….