このページのリンク

カタ リロンテキ アプローチ ニヨル ショウメイロン オヨビ ケイサンロン ノ ケンキュウ
型理論的アプローチによる証明論および計算論の研究 / 高橋正子研究代表者
(科学研究費補助金基盤研究(C)(2)研究成果報告書 ; 平成12~15年度)

データ種別 図書
出版者 [三鷹] : 高橋正子
出版年 2004.5
大きさ 1冊 ; 30cm

所蔵情報を非表示


GF:BOOK.SHELF 418/Ta332ka 06177825



書誌詳細を非表示

一般注記 課題番号:12640107
著者標目 高橋, 正子 <タカハシ,マサコ>
件 名 数学基礎論
分 類 NDC:418
書誌ID 1001294298

 類似資料