検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 真理・証明・計算 : 論理と機械 / 内井惣七著 A1 内井, 惣七(1943-) YR 1989 FD 1989.4 SP viii, 197p K1 論理学 K1 記号論理学 PB ミネルヴァ書房 PP 京都 SN 9784623018840 LA Japanese (日本語) CL NDC8:116 CL NDC8:410.96 CL NDLC:MA41 NO 書誌ID=BK00286980; NCID=BN03413567; LK [OPAC]https://library.kobe-cufs.ac.jp/opac/opac_link/bibid/BK00286980 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN03413567; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=9784623018840 OL 58