検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 数学における証明と真理 : 様相論理と数学基礎論 / 佐野勝彦 [ほか] 著 ; 菊池誠編 A1 佐野, 勝彦 A1 菊池, 誠(数学) A1 倉橋, 太志 A1 薄葉, 季路 A1 黒川, 英徳 YR 2016 FD 2016.3 SP x, 288p K1 証明(数学) K1 様相(論理学) PB 共立出版 PP 東京 SN 9784320111486 LA Japanese (日本語) CL NDC8:410 CL NDC9:410 NO 参考文献: 各部末 NO 索引: p[283]-288 NO その他の著者: 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 NO 書誌ID=B000113091; NCID=BB20937821; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000113091 OL 58