《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》陳述數理邏輯的基礎知識，包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同的基礎。
《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》共六部分，分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式繫統，並研究自然推理繫統和重言式繫統的關繫。第四章研究邏輯演算的可靠性和完備性問題。第五章討論了邏輯演算如何應用於陳述具體的數學理論，並且研究了在數學中引進定義的形式化問題。附錄（一）陳述帶量詞的命題邏輯；附錄（二）定義了斜形證明，並且證明了形式證明與斜形證明的等價關繫。
《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》可以用作數學專業和其他專業數理邏輯課程的教材或教學參考書，或供有關工作人員參考，使用時可根據具體情況刪減內容，使用《現代數學等
