様相論理入門

様相論理入門

LINEでシェア X(Twitter)でシェア Facebookでシェア

復刊活動にご賛同の方はリクエスト投票をお願いします。

得票数　25票
投票する
著者 G・E・ヒューズ，M・J・クレスウェル著／三浦聰，大浜茂生，春藤修二訳
出版社 恒星社厚生閣
ジャンル 専門書
ISBNコード 9784769903079
登録日 2002/10/18
リクエストNo. 12843
リクエスト内容
様相論理の入門書．様相命題論理の決定可能性および完全性証明，様相述語論理の完全性証明，ブール代数との関連等について解説．

投票コメント （全25件）

jagdpanzer777
jagdpanzer777
松坂和夫先生の復刊数理論理学を読んでいるのですが、様相論理で詰まってしまいました。 そこで、先生に相談したところ、この本が適当であると教えていただきました。 図書館で借りるよりは自ら購入しじっくり...

2010/05/27

炭団
炭団
あると便利だから

2011/06/19

まきまき
まきまき
良い本だとの噂を聞きました。様相論理に興味があり、とても欲しい本です。

2011/04/08

nakadenorino
nakadenorino
これぐらいしか日本語で読める文献がないようです。

2010/01/12

おのでら
おのでら
様相論理について日本語で体系的に学べる教科書はまだまだ少ないのが現状であり、名著と名高い本書の復刊は数学基礎論を学ぶ者にとって非常に有意義である。

2022/01/03

読後レビュー

まだレビューはありません。

この本をお読みの方、ぜひレビューをお書きください。

レビューを投稿する

ニュース

2002/10/18
『様相論理入門』（G・E・ヒューズ，M・J・クレスウェル著／三浦聰，大浜茂生，春藤修二訳）の復刊リクエスト受付を開始しました。

関連キーワード

論理学 恒星社厚生閣 科学・技術
キーワードの編集

この本に関する情報を提供する

この本の情報を復刊ドットコムまでお寄せください
復刊予定 著者／絶版情報 奥付情報 ISBNコード サイト情報 修正依頼 二重登録報告
詳細を見る