-
包郵數(shù)理邏輯基礎(chǔ).下冊
¥73.5(7.5折)定價(jià):¥98.0本書介紹數(shù)理邏輯的基礎(chǔ)知識, 包括邏輯驗(yàn)算的基本內(nèi)容。這些內(nèi)容構(gòu)成數(shù)理邏輯各個(gè)分支 (模型論、證明論和構(gòu)造性數(shù)學(xué)、遞歸論、集合論) 的共同的基礎(chǔ)。本書共六部分, 分上、下兩冊。本冊為下冊...
-
包郵數(shù)理邏輯基礎(chǔ).上冊?
¥69.6(7.1折)定價(jià):¥98.0本書介紹數(shù)理邏輯的基礎(chǔ)知識, 包括邏輯驗(yàn)算的基本內(nèi)容, 這些內(nèi)容構(gòu)成數(shù)理邏輯各個(gè)分支 (模型論、證明論和構(gòu)造性數(shù)學(xué)、遞歸論、集合論) 的共同的基礎(chǔ)。本書共六部分, 分上、下兩冊。本冊為上冊...