検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 コンピュータサイエンスにおける様相論理 / 鹿島亮著 A1 鹿島, 亮 YR 2022 FD 2022.1 SP vii, 165p K1 記号論理学 K1 様相(論理学) PB 森北出版 PP 東京 SN 9784627856417 LA Japanese (日本語) CL NDC9:410.96 CL NDC10:410.96 NO 参考文献: p162-163 NO 書誌ID=1003202385; NCID=BC12324744; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1003202385 OL 58