検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 証明論入門 A1 竹内, 外史 A1 八杉, 満利子 FD 1988.2 SP 191p K1 数学基礎論 PB 共立出版 PP 東京 SN 4320014065 CL NDC:410.1 NO 『数学基礎論』の改題改訂 NO 書誌ID=1001158057; NCID=BN01958614; LK [OPAC]https://opac.icu.ac.jp/opac/opac_link/bibid/1001158057 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN01958614; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=4320014065