G.E.ヒューズ, M.J.クレスウェル 著, 三浦聡 [ほか]訳恒星社厚生閣1981.12<H35-101>
Available onlineNational Diet LibraryOther Libraries in Japan
Ｇ．Ｅ．ヒューズ，Ｍ．Ｊ．クレスウェル 著 ; 三浦聰 ［ほか］訳 ; 三浦聰１９８９．３
Other Libraries in Japan
G.E.ヒューズ, M.J.クレスウェル著 ; 三浦聡 [ほか] 訳恒星社厚生閣1989.3
Other Libraries in Japan
菊池誠 編, 佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 著共立出版2016.3<MA21-L319>
National Diet LibraryOther Libraries in Japan
- Toc / Article... 証明可能性 参考書 第１部 様相論理入門（佐野勝彦） 第１章 正規様相論理の構文論・意味論・ヒルベル...
- Contents数理論理学の基礎 ／ 菊池誠著 様相論理入門 佐野勝彦著 証明可能性論理 倉橋太志著 強制法と様相論理 ...