第 1/1 張圖片
第 1/1 張圖片
Mathematical Logic - 9780486425337
BOOKS etc.
- (478601)
GBP 16.53
大約HK$ 171.01
狀況:
全新
全新,未閱讀過和使用過的書籍,狀況完好,不存在缺頁或內頁受損。
庫存 5 件賣出 4 件
運費:
GBP 16.59(大約 HK$ 171.64) International Priority Shipping 透過 eBay 全球派遞方案運送至美國.
所在地:Aldershot, 英國
進口費:
免費(實際金額將於結賬時確認)
送達日期:
估計於 10月4日, 五至 10月14日, 一之間送達 運送地點 43230
包括全球追蹤服務
退貨:
60 日退貨. 由買家支付退貨運費.
保障:
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
(不符合「eBay 買家保障方案」資格)
安心購物
物品細節
- 物品狀況
- 全新: 全新,未閱讀過和使用過的書籍,狀況完好,不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
- Book Title
- Mathematical Logic
- ISBN
- 9780486425337
- Publication Name
- Mathematical Logic
- Publisher
- Dover Publications Inc.
- Subject
- Mathematics
- Publication Year
- 2003
- Series
- Dover Books on Mathematics
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 220 mm
- Item Weight
- 454 g
- Item Width
- 140 mm
- Number of Pages
- 416 Pages
關於產品
Product Information
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules.The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
Product Identifiers
Publisher
Dover Publications Inc.
ISBN-13
9780486425337
eBay Product ID (ePID)
88966062
Product Key Features
Number of Pages
416 Pages
Language
English
Publication Name
Mathematical Logic
Publication Year
2003
Subject
Mathematics
Type
Textbook
Series
Dover Books on Mathematics
Format
Hardcover
Dimensions
Item Height
220 mm
Item Weight
454 g
Item Width
140 mm
Additional Product Features
Country/Region of Manufacture
United States
賣家提供的物品說明
商業賣家資料
增值稅識別編號:
- GB 976952259
賣家信用評價 (531,394)
這件物品(2)
所有物品(531,394)
x***l (449)- 買家留下的信用評價。
過去 6 個月
購買已獲認證
Arrived in time. Thanks.
2***2 (240)- 買家留下的信用評價。
過去 1 年
購買已獲認證
Awesome seller. Fast shipping, great packaging, book in perfect conditions, as described. Thank you!!
2***g- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Top class seller...10/10!!!
9***o (759)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Second time I've bought this book as a gift l. Beautiful
l***_ (692)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
As described, excellent packaging, fast delivery. A+++ seller