検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 推論と論理 : 可能世界論理の階型理論的展開のための研究 A1 二本柳, 賢司(1944-) YR 1989 FD 1989.2 SP 481p K1 論理学 PB 晃洋書房 PP 京都 SN 4771004234 LA Japanese (日本語) CL NDC8:116 NO 書誌ID=BB00722374; NCID=BN03106896; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB00722374 DS 同志社大学OPAC OL 58