登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書

『簡體書』公理化真理论研究

書城自編碼: 3899843
分類:簡體書→大陸圖書→哲學/宗教哲學
作者: 李娜、李晟
國際書號(ISBN): 9787303289547
出版社: 北京师范大学出版社
出版日期: 2023-07-01

頁數/字數: /
書度/開本: 16开 釘裝: 精装

售價:HK$ 112.7

我要買

share:

** 我創建的書架 **
未登入.



新書推薦:
演讲就是讲故事
《 演讲就是讲故事 》

售價:HK$ 109.8
软件工程3.0:大模型驱动的研发新范式
《 软件工程3.0:大模型驱动的研发新范式 》

售價:HK$ 109.8
肉类料理的194种做法:猪肉、牛肉、羊肉、鸡肉、鸭肉、内脏类料理,全品类覆盖,终结“肉慌”。
《 肉类料理的194种做法:猪肉、牛肉、羊肉、鸡肉、鸭肉、内脏类料理,全品类覆盖,终结“肉慌”。 》

售價:HK$ 43.8
兵行诡道:孙子思想精义
《 兵行诡道:孙子思想精义 》

售價:HK$ 63.8
极简日本茶道史
《 极简日本茶道史 》

售價:HK$ 85.8
法律人AI实操指南进阶版
《 法律人AI实操指南进阶版 》

售價:HK$ 68.2
分镜设计:脚本、镜头语言与AI技术应用从入门到精通
《 分镜设计:脚本、镜头语言与AI技术应用从入门到精通 》

售價:HK$ 108.9
钱穆 中国历代政治得失
《 钱穆 中国历代政治得失 》

售價:HK$ 53.9

建議一齊購買:

+

HK$ 112.7
《老子思维》
+

HK$ 147.2
《哲学的反思与反思的哲学》
+

HK$ 70.4
《小逻辑(汉译名著本)》
+

HK$ 114.8
《逍遥游:庄子全传》
+

HK$ 78.2
《(守望者)福柯的界线》
+

HK$ 112.7
《马克思哲学话语革命与中国学术话语体系构建》
內容簡介:
本书的目的是为了介绍、完善和丰富公理化真理论的成果。全书内容从三个方面进行:第一个方面:以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索,对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面:减弱经典公理化真理论的基础理论,将一阶逻辑减弱为直觉主义逻辑,系统地研究基于直觉主义逻辑的公理化真理论。第三个方面:加强经典公理化真理论的基础理论,将皮亚诺算术加强为集合论,系统地研究基于集合论的公理化真理论。
關於作者:
李娜,南开大学哲学院逻辑教研室教授、博士生导师。主要研究方向为现代逻辑。专著《集合论含有原子的自然模型和布尔值模型》《反基础公理的逻辑研究》两次入选国家哲学社会科学成果文库。发表《GB 的布尔值模型》等多篇学术论文;获得教育*人文社会科学优秀成果二等奖、三等奖各一次。

 

 

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