購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
|
新書上架：簡體書
繁體書
十月出版：大陸書
台灣書 |
|
share:
|
||||
|
新書推薦：  《 舰船耐火材料 》 售價：HK$ 283.8  《 东亚学（第六辑） 》 售價：HK$ 107.8  《 查理的一生 写给焦虑世代的普通人 百岁老人真实人生故事 现实版《阿甘正传》充满历史洞见、人生智慧、生 》 售價：HK$ 63.8  《 超级工程排行榜名录 》 售價：HK$ 220.0  《 从诗词到名著——翻翻祖先的书架 》 售價：HK$ 65.8  《 明智恭介的疑案 》 售價：HK$ 64.9  《 小型建筑创作札记 》 售價：HK$ 76.8  《 大变局下的中国声音：国际热点问题透视（“认识中国`·了解中国”书系；国家出版基金项目） 》 售價：HK$ 74.8 |
| 內容簡介： |
| 证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明. 本书还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算. |
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |
