検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 数理論理学 / 林晋著 T2 コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 A1 林, 晋(1953-) YR 1989 FD 1989.12 SP viii, 177p K1 記号論理学 K1 記号論理学 PB コロナ社 PP 東京 SN 4339025364 LA Japanese (日本語) CL NDC8:410.96 CL NDC7:410.12 NO 参考文献: p[172]-173 NO 索引: 巻末 NO 書誌ID=1000063773; NCID=BN04117719; LK [OPAC]https://opac.nijl.ac.jp/opac/opac_link/bibid/1000063773 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN04117719; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=4339025364 OL 58