每个人的逻辑Logic For Everyone
涵盖了命题和谓词演算中的所有基本材料。 应用包括通过紧性定理以及生成弱超字和超逻辑运算符获得的非标准模型。
下载地址
用户评论