国防科技大学，数理逻辑，考研考博用，电商网站都没这本书了。