G.E.ヒューズ, M.J.クレスウェル 著, 三浦聡 [ほか]訳恒星社厚生閣1981.12<H35-101>
インターネットで読める国立国会図書館全国の図書館
G.E.ヒューズ,M.J.クレスウェル 著 ; 三浦聰 [ほか]訳 ; 三浦聰1989.3
全国の図書館
G.E.ヒューズ, M.J.クレスウェル著 ; 三浦聡 [ほか] 訳恒星社厚生閣1989.3
全国の図書館
菊池誠 編, 佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 著共立出版2016.3<MA21-L319>
国立国会図書館全国の図書館
- 目次・記事... 証明可能性 参考書 第1部 様相論理入門(佐野勝彦) 第1章 正規様相論理の構文論・意味論・ヒルベル...
- 内容細目数理論理学の基礎 / 菊池誠著 様相論理入門 佐野勝彦著 証明可能性論理 倉橋太志著 強制法と様相論理 ...