数学家的逻辑-hamilton,老版经典