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