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