ヨウソウ ロンリ ニュウモン
様相論理入門 / G.E.ヒューズ, M.J.クレスウェル著 ; 三浦聡 [ほか] 訳
データ種別 | 図書 |
---|---|
著者標目 | Hughes, G. E. (George Edward), 1918- 著 Cresswell, M. J. 著 三浦, 聡 [ほか] 訳 <ミウラ, サトシ> |
出版者 | 東京 : 恒星社厚生閣 |
出版年 | 1981.12 |