此书包含数理逻辑,集合论,代数结构,组合数学,图论,初等数论等