Mathematical Logic Exercises And Solutions - Laszlo Csirmaz

CN¥229.00
+ CN¥106.49 送货

Mathematical Logic Exercises And Solutions - Laszlo Csirmaz

  • 品牌: Unbranded
由……售出:

Mathematical Logic Exercises And Solutions - Laszlo Csirmaz

  • 品牌: Unbranded

CN¥229.00

有货
+ CN¥106.49 送货

14天退货政策

由……售出:

CN¥229.00

有货
+ CN¥106.49 送货

14天退货政策

付款方式:

描述

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
  • 页数: 328
  • 出版社/标签: Springer Nature B.V
  • 格式: Paperback
  • Fruugo ID: 172311265-368371927
  • ISBN: 9783030790127

送货

在 24 小时内发货

  • STANDARD: CN¥106.49 - 之间的交付 周一 22 六月 2026–周五 26 六月 2026

从 英国 送货。

退货

我们会争取将您订购的产品按照您的规格完整地配送给您。不过,万一您收到不完整的订单,或收到的产品与您订购的不同,或者有其他原因让您对订单不满意,您可以要求全部或部分退货,您将收到相应产品的全额退款。

查看完整的退货政策