古本と中古自転車の現代屋

著者/訳者名 ケネス・キューネン／著　藤田博司／訳
出版社名 日本評論社 (ISBN：978-4-535-78382-9)
発行年月 2008年01月
20081004

状態：並上
【新品同様/並上/並/並下/可の5段階評価】

目次
第１章　公理的集合論の基礎
第２章　無限集合の組み合わせ論
第３章　整礎集合
第４章　やさしい無矛盾性証明の例
第５章　定義可能性を定義する
第６章　構成可能的集合
第７章　強制法
第８章　反復強制法