bibliographic details : 元数学导论