由University of Wisconsin的H.Jerome Keisler编写,本书为第二版。