26 票
著者 | G・E・ヒューズ,M・J・クレスウェル著/三浦聰,大浜茂生,春藤修二訳 |
---|---|
出版社 | 恒星社厚生閣 |
ジャンル | 専門書 |
ISBNコード | 9784769903079 |
登録日 | 2002/10/18 |
リクエストNo. | 12843 |
リクエスト内容
様相論理の入門書.様相命題論理の決定可能性および完全性証明,様相述語論理の完全性証明,ブール代数との関連等について解説.
投票コメント
全26件
-
松坂和夫先生の復刊数理論理学を読んでいるのですが、様相論理で詰まってしまいました。GOOD!2
そこで、先生に相談したところ、この本が適当であると教えていただきました。
図書館で借りるよりは自ら購入しじっくり読みたいので復刊を望むに至りました。 (2010/05/27) -
あると便利だから (2011/06/19)GOOD!1
-
良い本だとの噂を聞きました。様相論理に興味があり、とても欲しい本です。 (2011/04/08)GOOD!1
-
これぐらいしか日本語で読める文献がないようです。 (2010/01/12)GOOD!1
-
様相論理について日本語で体系的に学べる教科書はまだまだ少ないのが現状であり、名著と名高い本書の復刊は数学基礎論を学ぶ者にとって非常に有意義である。 (2022/01/03)GOOD!0
読後レビュー
NEWS
-
2002/10/18
『様相論理入門』(G・E・ヒューズ,M・J・クレスウェル著/三浦聰,大浜茂生,春藤修二訳)の復刊リクエスト受付を開始しました。
復刊実現の投票はあなたの投票から。
復刊リクエスト投票であなたの思いを形にしましょう!
jagdpanzer777