検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 型理論的アプローチによる証明論および計算論の研究 T2 科学研究費補助金基盤研究(C)(2)研究成果報告書 A1 高橋, 正子 FD 2004.5 SP 1冊 K1 数学基礎論 PB 高橋正子 PP [三鷹] CL NDC:418 NO 課題番号:12640107 NO 書誌ID=1001294298; LK [OPAC]https://opac.icu.ac.jp/opac/opac_link/bibid/1001294298