中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠(yuǎn)古海洋微生物建造的大堡礁
-
>
聲音簡史
買過本商品的人還買了
數(shù)理邏輯基礎(chǔ).上冊? 版權(quán)信息
- ISBN：9787030464217
- 條形碼：9787030464217 ; 978-7-03-046421-7
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
數(shù)理邏輯基礎(chǔ).上冊? 內(nèi)容簡介
本書介紹數(shù)理邏輯的基礎(chǔ)知識, 包括邏輯驗算的基本內(nèi)容, 這些內(nèi)容構(gòu)成數(shù)理邏輯各個分支 (模型論、證明論和構(gòu)造性數(shù)學(xué)、遞歸論、集合論) 的共同的基礎(chǔ)。本書共六部分, 分上、下兩冊。本冊為上冊。
書友推薦
- >
推拿
- >
史學(xué)評論
- >
伊索寓言-世界文學(xué)名著典藏-全譯本
- >
李白與唐代文化
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
巴金－再思錄
- >
唐代進(jìn)士錄
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
本類暢銷
