Self-Reference and Modal Logic

￥22,690
+ 配送料￥2,049

Self-Reference and Modal Logic

  • ブランド: Unbranded
  • product image

Self-Reference and Modal Logic

  • ブランド: Unbranded
価格： ￥22,690
販売元:
￥22,690
+ 配送料￥2,049

在庫あり

以下の支払い方法を利用することができます

説明

0. Introduction. - 1. The Incompleteness Theorems. - 2. Self-Reference. - 3. Things to Come. - 4. The Theory PRA. - 5. Encoding Syntax in PRA. - 6. Additional Arithmetic Prerequisites. - I. The Logic of Provability. - 1. Provability as Modality. - 2. Modal Model Theory. - 3. Arithmetic Interpretations of PRL. - II. Multi-Modal Logic and Self-Reference. - 4. Bi-Modal Logics and Their Arithmetic Interpretations. - 5. Fixed Point Algebras. - III. Non-Extensional Self-Reference. - 6. Rosser Sentences. - 7. An Ubiquitous Fixed Point Calculation. Language: English
  • ブランド: Unbranded
  • カテゴリー: 教育
  • フォーマット: Paperback
  • 刊行日: 1985/09/23
  • アーティスト: Craig Smorynski
  • ページ数: 333
  • 言語: English
  • 出版社 / レコード会社: Springer
  • Fruugo ID: 337367852-740997378
  • ISBN: 9780387962092

配送と返品

4日間以内に発送

  • STANDARD: ￥2,049 - 間の配達 木 23 10月 2025–火 28 10月 2025

イギリスより発送。

ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。 全額返金ポリシーを見る