Mathematical Logic Exercises And Solutions - Laszlo Csirmaz
販売元:
￥5,290
在庫あり
+ 配送料￥3,099
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
- カテゴリー: 科学、医学、自然
-
フォーマット: Paperback
-
刊行日: 2023-03-16
-
ページ数: 328
-
著者: Laszlo Csirmaz
-
言語: English
-
出版社 / レコード会社: Springer Nature B.V
- Fruugo ID: 172311265-368371927
- ISBN: 9783030790127
配送
配達
24時間以内に発送
-
STANDARD: ￥3,099 - 間の配達 火 22 9月 2026–木 24 9月 2026
イギリスより発送。
返品
返品
ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。