購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
余俊伟 著
”共有
3
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
蒯因著作集（第2卷）
『简体书』 作者：涂纪亮, 陈波, 余俊伟 出版：中国人民大学出版社 日期：2007-01-01 本书共6卷，大致按年代顺序编辑而成。但出于各卷篇幅方面的考试，有时也打破了这种顺序。第1卷收入两部论著：《威拉德·范·奥曼·蒯因自传》和《数理逻辑》第2卷收入两部论著：《逻辑方法》和《本体论的相对性及其他论文》第3卷收入两部论著：《集合论及其逻辑》和《逻辑哲学》第4卷收入三部论著：《从逻辑的观点看》、《指称之根》以及《 ... |
詳情>> | |
 |
哥德尔不完全性定理
『简体书』 作者：[美]雷蒙德 M.，斯穆里安 著，余俊伟 译 出版：科学出版社 日期：2019-01-01 本书主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明，结合典型逻辑谜题与证明结果，表明了证明结果与模态逻辑的紧密联系。 ... |
詳情>> | |
 |
否定词研究
『简体书』 作者：余俊伟 著 出版：中国社会科学出版社 日期：2014-04-01 由余俊伟所著的《否定词研究》系统地论述了各 种形态否定词，包括直觉主义逻辑、相干逻辑及弗协 调逻辑这三种非经典逻辑中的否定，以及比直觉主义 更弱的一些系统中的否定，其中包括作者自己构造的 一个极小的弗协调逻辑系统的否定。作者使用邻域语 义学详细考察了这些弱否定的逻辑特征，得到了更为 一般的结果，并从 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/3） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |