來源：互聯網
《數理邏輯基礎（上冊）》是由科學出版社于1981年1月出版的一本圖書，作者是胡世華、陸鐘萬。
內容簡介
本書介紹數理邏輯的基礎知識，包括邏輯演算的基本內容. 這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同基礎.
編輯推薦
《數理邏輯基礎》由科學出版社出版。《數理邏輯基礎》前五章可作為大學本科生的數理邏輯教材，而后五章可向有關專業的研究生講授，《數理邏輯基礎》也可供數學、信息與技術和其他自然科學專業的本科生、研究生和有關科研人員參考。
參考資料 >
數理邏輯基礎（上冊）.豆瓣讀書.2012-12-12