Mathematical Logic Exercises And Solutions - Laszlo Csirmaz
由……售出:
CN¥229.00
有货
+ CN¥103.99 送货
14天退货政策
付款方式：
- 品牌: Unbranded
由……售出:
产品详情
产品详情
Mathematical Logic Exercises And Solutions - Laszlo Csirmaz
This Book Gathers Together A Colorful Set Of Problems On Classical Mathematical Logic, Selected From Over 30 Years Of Teaching. The Initial Chapters Start With Problems From Supporting Fields, Like Set Theory (ultrafilter Constructions), Full-information Game Theory (strategies), Automata, And Recursion Theory (decidability, Kleene's Theorems). The Work Then Advances Toward Propositional Logic (compactness And Completeness, Resolution Method), Followed By First-order Logic, Including Quantifier Elimination And The Ehrenfeucht- Frass Game; Ultraproducts; And Examples For Axiomatizability And Non-axiomatizability.
- 品牌: Unbranded
- 类别: 科学、 医学与自然
-
语言: English
-
作者: Laszlo Csirmaz
-
出版日期: 2023-03-16
-
页数: 328
-
出版社／标签: Springer Nature B.V
-
格式: Paperback
- Fruugo ID: 172311265-368371927
- ISBN: 9783030790127
配送
送货
在 24 小时内发货
-
STANDARD: CN¥103.99 - 之间的交付 周二 22 九月 2026–周一 28 九月 2026
从 英国 送货。
退货
退货
我们会争取将您订购的产品按照您的规格完整地配送给您。不过，万一您收到不完整的订单，或收到的产品与您订购的不同，或者有其他原因让您对订单不满意，您可以要求全部或部分退货，您将收到相应产品的全额退款。