検索結果をRefWorksへエクスポートします。対象は1件です。
閉じる
RT Book, Whole SR Print DC OPAC T1 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics A1 田中, 一之 YR 2019 FD 2019.6 SP xii, 374p K1 数学基礎論 PB 裳華房 PP 東京 SN 9784785315757 LA jpn CL NDC8:410.9 CL NDC9:410.9 CL NDC10:410.9 NO 数学基礎論の基本ツールとなる数理論理学を初学者に向けて丁寧に解説。1970年頃までの数学基礎論を展望し、数学基礎論の新しいプログラム「逆数学」とその周辺に焦点を当て、さまざまな分析法を案内する。 NO 文献案内: p [329]-340 NO 索引: p[362]-374 NO 書誌ID=BB10163187; NCID=BB28388818; LK [OPAC]https://saosrv.kitasato-u.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB10163187 LK OL 58