數(shù)理邏輯基礎(chǔ)（上冊）

本書介紹數(shù)理邏輯的基礎(chǔ)知識，包括邏輯演算的基本內(nèi)容. 這些內(nèi)容構(gòu)成數(shù)理邏輯各個分支（模型論、證明論和構(gòu)造性數(shù)學(xué)、遞歸論、集合論）的共同基礎(chǔ).