考研用，考博数理逻辑的先行课，京东当当亚马逊上都没有的教材。