登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 突破平面Photoshop 2025设计与制作剖析 》 售價：HK$ 352 《 如果未来可以被编辑 关于基因编辑的技术、哲学和艺术悖论 》 售價：HK$ 301 《 数字芯片后端设计基础与实践（微课版） 》 售價：HK$ 305 《 AI赋能财务：写给CFO的AI使用手册 》 售價：HK$ 458 《 无人机技术 未来趋势与实际应用 》 售價：HK$ 857 《 谁在研究中国：海外中国研究中心要览 》 售價：HK$ 408 《 小白理财进阶之道：富爸爸的财富花园+财务自由笔记+有钱人穷的时候都在做什么（共3册） 》 售價：HK$ 915 《 谎言的逻辑：洞悉谎言背后真实的心理和人性 专享版 》 售價：HK$ 254

編輯推薦： 《相干与衍推谓词逻辑》由华东师范大学出版社出版。 內容簡介： 《相干与衍推谓词逻辑》研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，并在此基础上证明了各个系统的可靠性和完全性。研究的知识体系完整，概念表述明晰，内定理和元定理的证明严格而规范，具有理论的广度和深度，在一些重要理论问题上有突破和创新。 關於作者： 冯棉，华东师范大学终身教授，博士生导师，国务院特殊津贴获得者，中国逻辑学会副会长，上海市逻辑学会会长，《逻辑学研究》杂志编委，台湾大学客座教授（2013）。主要研究领域为现代逻辑和逻辑哲学。撰有《经典逻辑与直觉主义逻辑》上海人民出版社,1989、《广义模态逻辑》华东师大出版社,1990、《相干与衍推逻辑》上海人民出版社,1993、《可能世界与逻辑研究》华东师大出版社,1996、《相干逻辑研究》华东师大出版社,2010、《结构推理》广西师大出版社,2015等多部专著。参与编写《哲学大辞典》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》、《大辞海（数理化力学卷）》等辞书和《逻辑学导论》等多部教材。先后承担多项国家和教育部基金项目，著作和论文获教育部高等学校科学研究优秀成果奖、上海市哲学社会科学优秀学术成果奖和金岳霖学术奖。

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2025 （香港）大書城有限公司　All Rights Reserved.