掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
傳習(xí)錄
-
>
無障礙閱讀典藏版:莊子全書
-
>
素書
-
>
孔子的世界——儒家文化的世界價值
-
>
王陽明全集(全四冊)
-
>
生活與憶念
-
>
名家小全集(4冊)
邏輯與演繹科學(xué)方法論導(dǎo)論 版權(quán)信息
- ISBN：9787100005203
- 條形碼：9787100005203 ; 978-7-100-00520-3
- 裝幀：平裝-膠訂
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
邏輯與演繹科學(xué)方法論導(dǎo)論 內(nèi)容簡介
本書是著名的邏輯學(xué)家塔爾斯基對于現(xiàn)代數(shù)理邏輯進行了系統(tǒng)闡述的著作。
邏輯與演繹科學(xué)方法論導(dǎo)論 目錄
簡目：
初版序言
序言
**部分 邏輯的元素，演繹方法
(Ⅰ)論變項的用法
(Ⅱ)論語句演算
(Ⅲ)同一理論
(Ⅳ)類的理論
(Ⅴ)關(guān)系的理論
(Ⅵ)論演繹方法
第二部分 邏輯和方法論在構(gòu)造數(shù)學(xué)理論中的應(yīng)用
(Ⅶ)一個數(shù)學(xué)理論的構(gòu)造：數(shù)的次序的定律
(Ⅷ)一個數(shù)學(xué)理論的構(gòu)造：加法和減法的定律
(Ⅸ)關(guān)于所構(gòu)造的理論的方法論的討論
(Ⅹ)所構(gòu)造的理論的擴充。實數(shù)算術(shù)的基礎(chǔ)
推薦的讀物
索引
譯者后記
初版序言
序言
**部分 邏輯的元素，演繹方法
(Ⅰ)論變項的用法
(Ⅱ)論語句演算
(Ⅲ)同一理論
(Ⅳ)類的理論
(Ⅴ)關(guān)系的理論
(Ⅵ)論演繹方法
第二部分 邏輯和方法論在構(gòu)造數(shù)學(xué)理論中的應(yīng)用
(Ⅶ)一個數(shù)學(xué)理論的構(gòu)造：數(shù)的次序的定律
(Ⅷ)一個數(shù)學(xué)理論的構(gòu)造：加法和減法的定律
(Ⅸ)關(guān)于所構(gòu)造的理論的方法論的討論
(Ⅹ)所構(gòu)造的理論的擴充。實數(shù)算術(shù)的基礎(chǔ)
推薦的讀物
索引
譯者后記
展開全部
書友推薦
- >
羅庸西南聯(lián)大授課錄
- >
我從未如此眷戀人間
- >
隨園食單
- >
伊索寓言-世界文學(xué)名著典藏-全譯本
- >
我與地壇
- >
羅曼·羅蘭讀書隨筆-精裝
- >
推拿
- >
二體千字文
本類暢銷
