検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 論理と計算のしくみ / 萩谷昌己, 西崎真也著 A1 萩谷, 昌己(1957-) A1 西崎, 真也 YR 2007 FD 2007.6 SP xiv, 256p K1 数学基礎論 PB 岩波書店 PP 東京 SN 9784000061919 LA Japanese (日本語) CL NDC8:410.96 CL NDC8:418 CL NDC9:410.9 NO 学習の手引き: pvii-x NO 書誌ID=4000020392; NCID=BA82343895; LK [OPAC]https://www.lib.ntu.ac.jp/opac/opac_link/bibid/4000020392 OL 58