本書(shū)共六部分，分上、下兩冊(cè).上冊(cè)包括緒論、第一章和第二章.緒論對(duì)數(shù)理邏輯的性質(zhì)，邏輯演算的大概內(nèi)容.以及閱讀以后各章所需要的預(yù)備知識(shí)作了簡(jiǎn)要的說(shuō)明.第一章構(gòu)造命題邏輯和一階邏輯的形式系統(tǒng)，介紹演繹邏輯的基本規(guī)則.第二章研究邏輯演算的重要系統(tǒng)特征