| 一般注記 |
数学基礎論の基本ツールとなる数理論理学を初学者に向けて丁寧に解説。1970年頃までの数学基礎論を展望し、数学基礎論の新しいプログラム「逆数学」とその周辺に焦点を当て、さまざまな分析法を案内する。
索引: p362-374 |
| 著者標目 |
田中, 一之 <タナカ, カズユキ>
|
| 件 名 |
BSH:数学基礎論
|
| 分 類 |
NDC8:410.9
NDC9:410.9
NDC10:410.9
|
| 書誌ID |
BB71042301 |
| 巻冊次 |
ISBN:9784785315757 ; PRICE:5400円+税
|
| NCID |
BB28388818
|
