第 1/1 張圖片
An Introduction to Proof Theory: Normalization, Cut-Eliminatio
狀況：
運費：
所在地：Sparks, Nevada, 美國
送達日期：
估計於 5月28日, 二至 6月1日, 六之間送達 運送地點 43230
退貨：
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
物品細節
- 物品狀況
- Book Title
- An Introduction to Proof Theory: Normalization, Cut-Elimination,
- Publication Date
- 2021-08-17
- ISBN
- 9780192895936
- Publication Year
- 2021
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Publication Name
- Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
- Item Height
- 9.4in
- Item Length
- 1in
- Publisher
- Oxford University Press, Incorporated
- Item Width
- 6.3in
- Item Weight
- 28.1 Oz
- Number of Pages
- 432 Pages
關於產品
Product Information
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics.
Product Identifiers
Publisher
Oxford University Press, Incorporated
ISBN-10
0192895931
ISBN-13
9780192895936
eBay Product ID (ePID)
7050032472
Product Key Features
Publication Name
Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Format
Hardcover
Language
English
Publication Year
2021
Type
Textbook
Number of Pages
432 Pages
Dimensions
Item Length
1in
Item Height
9.4in
Item Width
6.3in
Item Weight
28.1 Oz
Additional Product Features
Lc Classification Number
Qa9.54
Table of Content
Preface1 Introduction2 Axiomatic calculi3 Natural deduction4 Normal deductions5 The sequent calculus6 The cut-elimination theorem7 The consistency of arithmetic8 Constructive ordinals and induction9 The consistency of arithmetic, continuedAppendices:A The Greek alphabetB Set-theoretic notationC Axioms, rules, and theorems of axiomatic calculiD Exercises on axiomatic derivationsE Natural deductionF Sequent calculusG Outline of the cut elimination theorem
Topic
General
Lccn
2021-910782
Dewey Decimal
511.36
Intended Audience
Scholarly & Professional
Dewey Edition
23
Illustrated
Yes
Genre
Mathematics, Philosophy
賣家提供的物品說明
運費與處理費
物品所在地：
Sparks, Nevada, 美國
運送地點
不丹, 中國, 中國台灣, 中國澳門, 中國香港, 中非共和國, 丹麥, 乍德, 也門, 亞塞拜疆共和國, 亞美尼亞, 以色列, 伯利茲, 佛得角群島, 保加利亞, 克羅地亞共和國, 冰島, 列支敦士登, 剛果共和國, 剛果民主共和國, 加拿大, 加納, 加蓬共和國, 匈牙利, 南非, 南韓, 博茨瓦納, 卡塔爾, 印尼, 印度, 危地馬拉, 厄瓜多爾, 厄立特里亞, 吉布提, 吉爾吉斯, 哈薩克, 哥倫比亞, 哥斯達黎加, 喀麥隆, 土庫斯安德凱科斯群島, 土庫曼, 土耳其, 圭亞那, 坦桑尼亞, 埃及, 埃塞俄比亞, 基里巴斯, 塔吉克, 塞內加爾, 塞拉利昂, 塞浦路斯, 塞爾維亞, 塞舌爾, 墨西哥, 多哥, 多明尼加共和國, 奧地利, 孟加拉, 安哥拉, 安圭拉島, 安提瓜和巴布達, 安道爾, 寮國, 尼加拉瓜, 尼日爾, 尼泊爾, 巴哈馬, 巴基斯坦, 巴布亞新畿內亞, 巴拉圭, 巴拿馬, 巴林, 布基納法索, 布隆迪, 希臘, 幾內亞, 德國, 意大利, 愛沙尼亞, 愛爾蘭, 所羅門群島, 拉脫維亞, 挪威, 捷克共和國, 摩洛哥, 摩爾多瓦, 摩納哥, 斐濟, 斯威士蘭, 斯洛伐克, 斯洛文尼亞, 斯里蘭卡, 新加坡, 日本, 智利, 柬埔寨, 格陵蘭, 格雷納達, 格魯吉亞, 梵蒂岡, 比利時, 毛里求斯, 汶萊, 沙特阿拉伯, 法國, 波斯尼亞和黑塞哥維那, 波蘭, 泰國, 津巴布韋, 洪都拉斯, 海地, 湯加, 澳洲, 烏干達, 烏拉圭, 烏茲別克, 牙買加, 特里尼達和多巴哥, 玻利維亞, 瑙魯, 瑞典, 瑞士, 瓦利斯和富圖納群島, 瓦努阿圖, 甘比亞, 百慕達群島, 盧旺達, 盧森堡, 直布羅陀, 科威特, 科特迪瓦（象牙海岸）, 秘魯, 突尼斯, 立陶宛, 約旦, 納米比亞, 紐西蘭, 羅馬尼亞, 美國, 聖基茨-尼維斯, 聖文森和格瑞那丁, 聖盧西亞, 聖馬力諾, 肯亞, 芬蘭, 英國, 茅利塔尼亞, 荷蘭, 莫桑比克, 菲律賓, 萊索托, 葡萄牙, 蒙古, 蒙特色拉特島, 薩爾瓦多, 蘇里南, 西班牙, 西薩摩亞, 貝寧, 贊比亞, 赤道幾內亞, 越南, 開曼群島, 阿拉伯聯合酋長國, 阿曼, 阿根廷, 阿爾巴尼亞, 阿魯巴, 馬來西亞, 馬其頓, 馬拉維, 馬爾代夫, 馬耳他, 馬達加斯加, 馬里, 黎巴嫩, 黑山
排除：
APO/FPO, 伊拉克, 俄羅斯聯邦, 利比亞, 利比利亞, 委內瑞拉, 尼日利亞, 巴西, 巴貝多, 幾內亞比索, 新喀里多尼亞, 法屬圭亞那, 法屬玻里尼西亞, 烏克蘭, 瓜德羅普島, 留尼汪島, 白俄羅斯, 美國領地, 阿富汗, 阿拉斯加／夏威夷, 阿爾及利亞, 馬提尼克島
| 運費與處理費 | 運送地點 | 運送方式 | 運送*查看送達備註 |
|---|---|---|---|
| 免運費 | 美國 | Standard Shipping | 估計於 5月28日, 二至 6月1日, 六之間送達 運送地點 43230 |
| US $5.50（大約 HK$ 42.94） | 美國 | Expedited Shipping | 估計於 5月28日, 二至 6月1日, 六之間送達 運送地點 43230 |
| 處理時間 |
|---|
| 通常會在收到所有款項後的 2 個工作日內發貨。 |
| 稅項 |
|---|
| 賣家將對以下州別的買家收取銷售稅： |
物品編號 364506895439 的銷售稅
物品編號 364506895439 的銷售稅
賣家會對寄往以下各州的物品收取銷售稅：
| 州／省 | 銷售稅稅率 |
|---|
退貨政策
| 收到物品後聯絡賣家的期限： | 退款方式 |
|---|---|
| 30 日 | 退款 |
買家負責支付退貨運費。
賣家信用評價 （459,730）
c***s (234)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Super fast shipping! Thank you
t***i (12618)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Very nice item as listed - Prompt and courteous transaction A++++
t***i (12618)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Very nice item as listed - Prompt and courteous transaction A++++