検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 証明論入門 / 竹内外史, 八杉満利子共著 A1 竹内, 外史(1926-) A1 八杉, 満利子(1937-) YR 1988 FD 1988.2 SP 2, 2, 191p K1 数学基礎論 PB 共立出版 PP 東京 SN 4320014065 LA Japanese (日本語) CL NDC8:410.9 CL NDC7:410.1 CL NDLC:MA41 NO 「数学基礎論」増補版(1974年刊)の改題改訂 NO 文献: p[186]-187 NO 書誌ID=B000117245; NCID=BN01958614; LK [OPAC]https://opac.lib.juen.ac.jp/opac/opac_link/bibid/B000117245 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 OL 58