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

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

香港／國際用戶

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

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

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 积极心理学 》 售價：NT$ 254.0 《 自由，不是放纵 》 售價：NT$ 250.0 《 甲骨文丛书·消逝的光明：欧洲国际史，1919—1933年（套装全2册） 》 售價：NT$ 1265.0 《 剑桥日本戏剧史（剑桥世界戏剧史译丛） 》 售價：NT$ 918.0 《 中国高等艺术院校精品教材大系：材料的时尚表达??服装创意设计 》 售價：NT$ 347.0 《 美丽与哀愁：第一次世界大战个人史 》 售價：NT$ 653.0 《 国家豁免法的域外借鉴与实践建议 》 售價：NT$ 857.0 《 大单元教学设计20讲 》 售價：NT$ 347.0

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

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