《數理邏輯基礎（上冊）》是由科學出版社於1981年1月出版的一本圖書，作者是胡世華、陸鐘萬。
基本介紹
- 書名：數理邏輯基礎
- 作者：胡世華，陸鐘萬
- 頁數：228
- 定價：1.15元
- 出版社：科學出版社
- 出版時間：1981年1月
- 裝幀：平裝
- 副標題：現代數學基礎叢書
- 統一書號：13031-1320
內容簡介,編輯推薦,
內容簡介
本書介紹數理邏輯的基礎知識，包括邏輯演算的基本內容. 這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同基礎.
編輯推薦
《數理邏輯基礎》由科學出版社出版。《數理邏輯基礎》前五章可作為大學本科生的數理邏輯教材，而後五章可向有關專業的研究生講授，《數理邏輯基礎》也可供數學、信息與技術和其他自然科學專業的本科生、研究生和有關科研人員參考。
