第 1/1 張圖片
Hiroakira Ono Proof Theory and Algebra in Logic (Paperback)
Another great item from Rarewaves USA | Free delivery!
狀況:
運費:
所在地:60502, 美國
送達日期:
估計於 6月3日, 一至 6月5日, 三之間送達 運送地點 43230
退貨:
保障:
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
(不符合「eBay 買家保障方案」資格)
安心購物
物品細節
- 物品狀況
- 全新: 全新,未閱讀過和使用過的書籍,狀況完好,不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
- Country/Region of Manufacture
- SG
- EAN
- 9789811379963
- Edition
- 1st ed. 2019
- ISBN
- 9789811379963
- Item Height
- 235mm
- Publication Name
- Proof Theory and Algebra in Logic
- Title
- Proof Theory and Algebra in Logic
- Release Date
- 08/19/2019
- Release Year
- 2019
- Series
- Short Textbooks in Logic
- Publication Year
- 2019
- Format
- Trade Paperback
- Language
- English
- Book Title
- Proof Theory and Algebra in Logic
- Item Length
- 9.3in
- Publisher
- Springer
- Genre
- Computers, Mathematics, Philosophy
- Topic
- Computer Science, Logic
- Item Width
- 6.1in
- Item Weight
- 16 Oz
- Number of Pages
- VIII, 160 Pages
關於產品
Product Information
This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses. The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II. Part I presents sequent systems and discusses cut elimination and its applications in detail. It also provides simplified proof of cut elimination, making the topic more accessible. The last chapter of Part I is devoted to clarification of the classes of logics that are discussed inthe second part. Part II focuses on algebraic semantics for these logics. At the same time, it is a gentle introduction to the basics of algebraic logic and universal algebra with many examples of their applications in logic. Part II can be read independently of Part I, with only minimum knowledge required, and as such is suitable as a textbook for short introductory courses on algebra in logic.
Product Identifiers
Publisher
Springer
ISBN-10
9811379963
ISBN-13
9789811379963
eBay Product ID (ePID)
16038568008
Product Key Features
Book Title
Proof Theory and Algebra in Logic
Format
Trade Paperback
Language
English
Topic
Computer Science, Logic
Publication Year
2019
Genre
Computers, Mathematics, Philosophy
Number of Pages
VIII, 160 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
16 Oz
Additional Product Features
Number of Volumes
1 Vol.
Lc Classification Number
Bc1-199
Reviews
"I cannot think of a better textbook as the backbone of an introductory course in proof theory, given how clear and self-contained the material is. ... 'Proof Theory and Algebra in Logic' is an inspiring book that sows the seeds for further studies, and it is the perfect bridge towards more advanced research topics." (Gianluca Caterina, MAA Reviews, June 21, 2021)
Table of Content
Introduction.- Part I Proof Theory.- Sequent systems.- Cut elimination for sequent systems.- Proof-theoretic analysis of logical properties.- Modal and substructural logics.- Deducibility and axiomatic extensions.- Part II Algebra in Logic.- Boolean algebras and classical logic.- Many-valued algebras.- Heyting algebras and intuitionistic logic.- Logics and varieties.- Residuated structures.- Modal algebras.- References.- Index.
Copyright Date
2019
Series
Short Textbooks in Logic Ser.
Illustrated
Yes
賣家提供的物品說明
運費與處理費
物品所在地:
60502, 美國
運送地點
全球
排除:
不丹, 也門, 以色列, 俄羅斯聯邦, 利比亞, 加拿大, 南非, 墨西哥, 奧地利, 委內瑞拉, 寮國, 巴西, 巴貝多, 德國, 意大利, 新喀里多尼亞, 汶萊, 法國, 法屬圭亞那, 法屬玻里尼西亞, 澳洲, 烏克蘭, 瑞士, 瓜德羅普島, 留尼汪島, 白俄羅斯, 英國, 西班牙, 阿富汗, 馬提尼克島
運費與處理費 | 運送地點 | 運送方式 | 運送*查看送達備註 |
---|---|---|---|
免運費 | 美國 | Economy Shipping | 估計於 6月3日, 一至 6月5日, 三之間送達 運送地點 43230 |
處理時間 |
---|
通常會在收到所有款項後的 6 個工作日內發貨。 |
稅項 |
---|
賣家將對以下州別的買家收取銷售稅: |
物品編號 395007042405 的銷售稅
物品編號 395007042405 的銷售稅
賣家會對寄往以下各州的物品收取銷售稅:
州/省 | 銷售稅稅率 |
---|
退貨政策
收到物品後聯絡賣家的期限: | 退款方式 |
---|---|
30 日 | 退款, 替換物品 |
買家負責支付退貨運費。
賣家信用評價 (444,110)
t***a (1183)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Item arrived in promised condition. Thanks.
8***a (13)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Very good condition and arrived early
s***a (112)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
A++