AG汉密顿数理逻辑英文版教材，非常好用，中文版里有太多纰漏，用英文版学习非常方便。